Nuprl Definition : new_23_sig

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: 2016_05_17-PM-02_03_38 Last ObjectModification: 2013_11_23-PM-09_55_08 Theory : 2!3!consensus!with!signatures Home Index