Nuprl Definition : rsc2_Quorum

rsc2_Quorum(Cmd;cmdeq;flrs) ==
  ni.Threshold-Combinator(rsc2_newvote(Cmd) 
                           ni;rsc2_vote'base(Cmd);rsc2_init() <[], []>;rsc2_addvote(Cmd);rsc2_roundout(Cmd;cmdeq;flrs))


Definitions occuring in Statement :  rsc2_addvote: rsc2_addvote(Cmd),  rsc2_newvote: rsc2_newvote(Cmd),  rsc2_init: rsc2_init(),  rsc2_roundout: rsc2_roundout(Cmd;cmdeq;flrs),  rsc2_vote'base: rsc2_vote'base(Cmd),  Threshold-Combinator: Threshold-Combinator(R;X;init_state;accum;f),  apply: f a,  lambda: x.A[x],  pair: <a, b>,  nil: []
FDL editor aliases :  rsc2_Quorum
rsc2\_Quorum(Cmd;cmdeq;flrs)  ==
    \mlambda{}ni.Threshold-Combinator(rsc2\_newvote(Cmd) 
                                                      ni;rsc2\_vote'base(Cmd);rsc2\_init() 
                                                                                                    <[],  []>rsc2\_addvote(Cmd);...)


Date html generated: 2012_02_20-PM-04_42_17
Last ObjectModification: 2012_02_02-PM-02_05_43

Home Index