Nuprl Definition : new_23_sig_Quorum
new_23_sig_Quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
λni.((new_23_sig_when_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ni o
new_23_sig_vote'base(Cmd;notify;propose;f)) o new_23_sig_QuorumState(Cmd;notify;propose;f) ni)
Definitions occuring in Statement :
new_23_sig_QuorumState: new_23_sig_QuorumState(Cmd;notify;propose;f),
new_23_sig_when_quorum: new_23_sig_when_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f),
new_23_sig_vote'base: new_23_sig_vote'base(Cmd;notify;propose;f),
eclass2: (X o Y),
eclass1: (f o X),
apply: f a,
lambda: λx.A[x]
FDL editor aliases :
new_23_sig_Quorum
Latex:
new\_23\_sig\_Quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ==
\mlambda{}ni.((new\_23\_sig\_when\_quorum(Cmd;cmdeq;coeff;flrs;notify;propose;reps;f) ni o
new\_23\_sig\_vote'base(Cmd;notify;propose;f)) o new\_23\_sig\_QuorumState(Cmd;notify;propose;f)
ni)
Date html generated:
2016_05_17-PM-02_03_19
Last ObjectModification:
2013_11_23-PM-09_54_59
Theory : 2!3!consensus!with!signatures
Home
Index