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