Nuprl Definition : new_23_sig_NewVoters-program
new_23_sig_NewVoters-program(Cmd;notify;propose;slots;f) ==
eclass1-program(new_23_sig_when_new_proposal(Cmd;slots);new_23_sig_Proposal-program(Cmd;notify;propose;f))
o new_23_sig_ReplicaState-program(Cmd;notify;propose;slots;f)
Definitions occuring in Statement :
new_23_sig_ReplicaState-program: new_23_sig_ReplicaState-program(Cmd;notify;propose;slots;f),
new_23_sig_when_new_proposal: new_23_sig_when_new_proposal(Cmd;slots),
new_23_sig_Proposal-program: new_23_sig_Proposal-program(Cmd;notify;propose;f),
eclass2-program: Xpr o Ypr,
eclass1-program: eclass1-program(f;pr)
FDL editor aliases :
new_23_sig_NewVoters-program
Latex:
new\_23\_sig\_NewVoters-program(Cmd;notify;propose;slots;f) ==
eclass1-program(new\_23\_sig\_when\_new\_proposal(Cmd;slots);
new\_23\_sig\_Proposal-program(Cmd;notify;propose;f))
o new\_23\_sig\_ReplicaState-program(Cmd;notify;propose;slots;f)
Date html generated:
2015_07_23-PM-03_52_16
Last ObjectModification:
2013_11_23-PM-09_56_36
Home
Index