Nuprl Definition : RSC_Quorum

RSC_Quorum(Cmd;cmdeq;flrs) ==
  ni.Threshold-Combinator(RSC_newvote(Cmd) ni;RSC_Vote(Cmd);RSC_init() 
                                                             <[], []>;RSC_addvote();RSC_roundout(Cmd;cmdeq;flrs))


Definitions occuring in Statement :  RSC_addvote: RSC_addvote(),  RSC_newvote: RSC_newvote(Cmd),  RSC_init: RSC_init(),  RSC_roundout: RSC_roundout(Cmd;cmdeq;flrs),  RSC_Vote: RSC_Vote(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 :  RSC_Quorum
RSC\_Quorum(Cmd;cmdeq;flrs)  ==
    \mlambda{}ni.Threshold-Combinator(RSC\_newvote(Cmd) 
                                                      ni;RSC\_Vote(Cmd);RSC\_init() 
                                                                                        <[],  []>RSC\_addvote();RSC\_roundout(Cmd;cmdeq;flrs))


Date html generated: 2012_02_20-PM-03_40_02
Last ObjectModification: 2012_02_02-PM-01_58_20

Home Index