Nuprl Definition : RSC_Round
RSC_Round(Cmd;cmdeq;flrs;locs) ==
z.let ni,c = z
in send-once-loc-class(loc.(RSC_voteMSGSto(Cmd) locs <<ni, c>, loc>)) || once-class(RSC_Quorum(Cmd;cmdeq;flrs) ni)
Definitions occuring in Statement :
RSC_Quorum: RSC_Quorum(Cmd;cmdeq;flrs),
RSC_voteMSGSto: RSC_voteMSGSto(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 :
RSC_Round
RSC\_Round(Cmd;cmdeq;flrs;locs) ==
\mlambda{}z.let ni,c = z
in send-once-loc-class(\mlambda{}loc.(RSC\_voteMSGSto(Cmd) locs <<ni, c>, loc>))
|| once-class(RSC\_Quorum(Cmd;cmdeq;flrs) ni)
Date html generated:
2012_02_20-PM-03_58_57
Last ObjectModification:
2012_02_02-PM-01_58_22
Home
Index