Nuprl Definition : new_23_sig_Replica
new_23_sig_Replica(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
new_23_sig_NewVoters(Cmd;notify;propose;slots;f)
>z> new_23_sig_Voter(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) z
Definitions occuring in Statement :
new_23_sig_NewVoters: new_23_sig_NewVoters(Cmd;notify;propose;slots;f),
new_23_sig_Voter: new_23_sig_Voter(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f),
bind-class: X >x> Y[x],
apply: f a
FDL editor aliases :
new_23_sig_Replica
Latex:
new\_23\_sig\_Replica(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
new\_23\_sig\_NewVoters(Cmd;notify;propose;slots;f)
>z> new\_23\_sig\_Voter(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;f) z
Date html generated:
2015_07_23-PM-03_52_21
Last ObjectModification:
2013_11_23-PM-09_56_43
Home
Index