Nuprl Definition : rsc4_Round
rsc4_Round(Cmd;cmdeq;coeff;flrs;locs) ==
z.let ni,c = z
in send-once-loc-class(loc.(rsc4_vote'broadcast(Cmd) locs <<ni, c>, loc>))
|| once-class(rsc4_Quorum(Cmd;cmdeq;coeff;flrs) ni)
Definitions occuring in Statement :
rsc4_Quorum: rsc4_Quorum(Cmd;cmdeq;coeff;flrs),
rsc4_vote'broadcast: rsc4_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 :
rsc4_Round
rsc4\_Round(Cmd;cmdeq;coeff;flrs;locs) ==
\mlambda{}z.let ni,c = z
in send-once-loc-class(\mlambda{}loc.(rsc4\_vote'broadcast(Cmd) locs <<ni, c>, loc>))
|| once-class(rsc4\_Quorum(Cmd;cmdeq;coeff;flrs) ni)
Date html generated:
2012_02_20-PM-04_48_11
Last ObjectModification:
2012_02_02-PM-02_08_37
Home
Index