Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_Voter-program

new_23_sig_Voter-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) ==
λz.let n,c = z

     in until-class-program(new_23_sig_Rounds-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) <n, c>;new_23_sig_Noti\000Cfy-program(Cmd;clients;notify;propose;f) n)

|| new_23_sig_Notify-program(Cmd;clients;notify;propose;f) n

Definitions occuring in Statement : new_23_sig_Rounds-program: new_23_sig_Rounds-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f), new_23_sig_Notify-program: new_23_sig_Notify-program(Cmd;clients;notify;propose;f), parallel-class-program: X || Y, until-class-program: until-class-program(xpr;ypr), apply: f a, lambda: λx.A[x], spread: spread def, pair: <a, b>
FDL editor aliases : new_23_sig_Voter-program

Latex:
new\_23\_sig\_Voter-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) == \mlambda{}z.let n,c = z in until-class-program(new\_23\_sig\_Rounds-program(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) <n, c>new\_23\_sig\_Notify-program(Cmd;clients;notify;propose;f) n) || new\_23\_sig\_Notify-program(Cmd;clients;notify;propose;f) n Date html generated: 2016_05_17-PM-02_05_52 Last ObjectModification: 2013_11_23-PM-09_56_05 Theory : 2!3!consensus!with!signatures Home Index