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