Nuprl Definition : new_23_sig_Round-program
new_23_sig_Round-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
λz.let ni,c = z
in return-loc-bag-class-program(λloc.(new_23_sig_vote'broadcast(Cmd;notify;propose;f) reps
<<ni, c>, loc>))
|| once-class-program(new_23_sig_Quorum-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ni)
Definitions occuring in Statement :
new_23_sig_Quorum-program: new_23_sig_Quorum-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f),
new_23_sig_vote'broadcast: new_23_sig_vote'broadcast(Cmd;notify;propose;f),
return-loc-bag-class-program: return-loc-bag-class-program(x),
parallel-class-program: X || Y,
once-class-program: once-class-program(pr),
apply: f a,
lambda: λx.A[x],
spread: spread def,
pair: <a, b>
FDL editor aliases :
new_23_sig_Round-program
Latex:
new\_23\_sig\_Round-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
\mlambda{}z.let ni,c = z
in return-loc-bag-class-program(\mlambda{}loc.(new\_23\_sig\_vote'broadcast(Cmd;notify;propose;f) reps
<<ni, c>, loc>))
|| once-class-program(new\_23\_sig\_Quorum-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f)
ni)
Date html generated:
2015_07_23-PM-03_50_56
Last ObjectModification:
2013_11_23-PM-09_55_10
Home
Index