Nuprl Definition : new_23_sig

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