Nuprl Definition : pv8_p2_main
pv8_p2_main(Cid;Op;RepState;Result;apply_op;eq_Cid;init_rstate;ldrs;reps) ==
pv8_p2_Replica(Cid;Op;RepState;Result;apply_op;eq_Cid;init_rstate;ldrs)@reps
Definitions occuring in Statement :
pv8_p2_Replica: pv8_p2_Replica(Cid;Op;RepState;Result;apply_op;eq_Cid;init_rstate;ldrs),
class-at: X@locs
FDL editor aliases :
pv8_p2_main
pv8_p2_main
pv8\_p2\_main(Cid;Op;RepState;Result;apply$_{op}$;eq$_{Cid}$;i\000Cnit$_{rstate}$;ldrs;reps) ==
pv8\_p2\_Replica(Cid;Op;RepState;Result;apply$_{op}$;eq$_{Cid}\mbackslash{}f\000Cf24;init$_{rstate}$;ldrs)@reps
Date html generated:
2012_02_20-PM-07_41_51
Last ObjectModification:
2012_02_06-PM-03_08_23
Home
Index