Nuprl Definition : new_23_sig

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