Nuprl Definition : rsc5_Round
rsc5_Round(Cmd;clients;cmdeq;coeff;flrs;locs) ==
z.let ni,c = z
in send-once-loc-class(loc.(rsc5_vote'broadcast(Cmd) locs <<ni, c>, loc>))
|| once-class(rsc5_Quorum(Cmd;clients;cmdeq;coeff;flrs;locs) ni)
Definitions occuring in Statement :
rsc5_Quorum: rsc5_Quorum(Cmd;clients;cmdeq;coeff;flrs;locs),
rsc5_vote'broadcast: rsc5_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 :
rsc5_Round
rsc5\_Round(Cmd;clients;cmdeq;coeff;flrs;locs) ==
\mlambda{}z.let ni,c = z
in send-once-loc-class(\mlambda{}loc.(rsc5\_vote'broadcast(Cmd) locs <<ni, c>, loc>))
|| once-class(rsc5\_Quorum(Cmd;clients;cmdeq;coeff;flrs;locs) ni)
Date html generated:
2012_02_20-PM-05_06_36
Last ObjectModification:
2012_02_02-PM-02_18_29
Home
Index