Nuprl Definition : new_23_sig_QuorumState-program

new_23_sig_QuorumState-program(Cmd;notify;propose;f) ==
  λni.memory-class1-program(λloc.<[], []>;new_23_sig_add_to_quorum(Cmd) 
                                          ni;new_23_sig_vote'base-program(Cmd;notify;propose;f))


Definitions occuring in Statement :  new_23_sig_add_to_quorum: new_23_sig_add_to_quorum(Cmd),  new_23_sig_vote'base-program: new_23_sig_vote'base-program(Cmd;notify;propose;f),  memory-class1-program: memory-class1-program(init;tr;pr),  nil: [],  apply: f a,  lambda: λx.A[x],  pair: <a, b>
FDL editor aliases :  new_23_sig_QuorumState-program
Latex:
new\_23\_sig\_QuorumState-program(Cmd;notify;propose;f)  ==
    \mlambda{}ni.memory-class1-program(\mlambda{}loc.<[],  []>new\_23\_sig\_add\_to\_quorum(Cmd) 
                                                                                    ni;new\_23\_sig\_vote'base-program(Cmd;notify;propose;f))


Date html generated: 2016_05_17-PM-02_03_14
Last ObjectModification: 2013_11_23-PM-09_54_57

Theory : 2!3!consensus!with!signatures


Home Index