Nuprl Definition : pv8_p1_main
pv8_p1_main(Cid;Op;accpts;eq_Cid;ldrs;ldrs_uid;reps) ==
pv8_p1_Leader(Cid;Op;accpts;eq_Cid;ldrs_uid;reps)@ldrs || pv8_p1_Acceptor(Cid;Op;eq_Cid;ldrs_uid)@accpts
Definitions occuring in Statement :
pv8_p1_Leader: pv8_p1_Leader(Cid;Op;accpts;eq_Cid;ldrs_uid;reps),
pv8_p1_Acceptor: pv8_p1_Acceptor(Cid;Op;eq_Cid;ldrs_uid),
class-at: X@locs,
parallel-class: X || Y
FDL editor aliases :
pv8_p1_main
pv8_p1_main
pv8\_p1\_main(Cid;Op;accpts;eq$_{Cid}$;ldrs;ldrs$_{uid}$;reps)\000C ==
pv8\_p1\_Leader(Cid;Op;accpts;eq$_{Cid}$;ldrs$_{uid}$;reps)@\000Cldrs
|| pv8\_p1\_Acceptor(Cid;Op;eq$_{Cid}$;ldrs$_{uid}$)@accpts
Date html generated:
2012_02_20-PM-07_33_23
Last ObjectModification:
2012_02_06-PM-01_49_17
Home
Index