Nuprl Definition : pv8_p2_Replica
pv8_p2_Replica(Cid;Op;RepState;Result;apply_op;eq_Cid;init_rstate;ldrs) ==
z,x.(snd(x))@|Loc, pv8_p2_ReplicaState(Cid;Op;RepState;Result;apply_op;eq_Cid;init_rstate;ldrs)|
Definitions occuring in Statement :
pv8_p2_ReplicaState: pv8_p2_ReplicaState(Cid;Op;RepState;Result;apply_op;eq_Cid;init_rstate;ldrs),
concat-lifting-loc-1: f@,
simple-loc-comb-1: F|Loc, X|,
pi2: snd(t),
lambda: x.A[x]
FDL editor aliases :
pv8_p2_Replica
pv8_p2_Replica
pv8\_p2\_Replica(Cid;Op;RepState;Result;apply$_{op}$;eq$_{Cid}\mbackslash{}ff2\000C4;init$_{rstate}$;ldrs) ==
\mlambda{}z,x.(snd(x))@|Loc, pv8\_p2\_ReplicaState(Cid;Op;RepState;Result;apply$_{op}$;eq\000C$_{Cid}$;init$_{rstate}$;ldrs)|
Date html generated:
2012_02_20-PM-07_41_27
Last ObjectModification:
2012_02_06-PM-03_08_08
Home
Index