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:
2015_07_23-PM-03_51_45
Last ObjectModification:
2013_11_23-PM-09_56_05
Home
Index