Nuprl Definition : pv11_p1_main
pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;mf) ==
pv11_p1_Leader(Cmd;accpts;ldrs_uid;reps;mf)@ldrs || pv11_p1_Acceptor(Cmd;ldrs_uid;mf)@accpts
Definitions occuring in Statement :
pv11_p1_Leader: pv11_p1_Leader(Cmd;accpts;ldrs_uid;reps;mf),
pv11_p1_Acceptor: pv11_p1_Acceptor(Cmd;ldrs_uid;mf),
class-at: X@locs,
parallel-class: X || Y
FDL editor aliases :
pv11_p1_main
Latex:
pv11\_p1\_main(Cmd;accpts;ldrs;ldrs$_{uid}$;reps;mf) ==
pv11\_p1\_Leader(Cmd;accpts;ldrs$_{uid}$;reps;mf)@ldrs || pv11\_p1\_Acceptor(Cmd;l\000Cdrs$_{uid}$;mf)@accpts
Date html generated:
2015_07_23-PM-04_34_03
Last ObjectModification:
2014_11_26-AM-11_31_20
Home
Index