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