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