Nuprl Definition : rsc2_Round
rsc2_Round(Cmd;cmdeq;flrs;locs) ==
z.let ni,c = z
in send-once-loc-class(loc.(rsc2_vote'broadcast(Cmd) locs <<ni, c>, loc>))
|| once-class(rsc2_Quorum(Cmd;cmdeq;flrs) ni)
Definitions occuring in Statement :
rsc2_Quorum: rsc2_Quorum(Cmd;cmdeq;flrs),
rsc2_vote'broadcast: rsc2_vote'broadcast(Cmd),
send-once-loc-class: send-once-loc-class(b),
once-class: once-class(X),
parallel-class: X || Y,
apply: f a,
lambda: x.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
rsc2_Round
rsc2\_Round(Cmd;cmdeq;flrs;locs) ==
\mlambda{}z.let ni,c = z
in send-once-loc-class(\mlambda{}loc.(rsc2\_vote'broadcast(Cmd) locs <<ni, c>, loc>))
|| once-class(rsc2\_Quorum(Cmd;cmdeq;flrs) ni)
Date html generated:
2012_02_20-PM-04_42_28
Last ObjectModification:
2012_02_02-PM-02_05_47
Home
Index