Nuprl Definition : rsc5_Quorum

rsc5_Quorum(Cmd;clients;cmdeq;coeff;flrs;locs) ==
  ni.rsc5_when_quorum(Cmd;clients;cmdeq;coeff;flrs;locs) ni@Loc|Loc,rsc5_vote'base(Cmd), rsc5_QuorumState(Cmd;cmdeq) 
                                                                                          ni|


Definitions occuring in Statement :  rsc5_QuorumState: rsc5_QuorumState(Cmd;cmdeq),  rsc5_when_quorum: rsc5_when_quorum(Cmd;clients;cmdeq;coeff;flrs;locs),  rsc5_vote'base: rsc5_vote'base(Cmd),  concat-lifting-loc-2: f@Loc,  simple-loc-comb-2: F|Loc,X, Y|,  apply: f a,  lambda: x.A[x]
FDL editor aliases :  rsc5_Quorum
rsc5\_Quorum(Cmd;clients;cmdeq;coeff;flrs;locs)  ==
    \mlambda{}ni.rsc5\_when\_quorum(Cmd;clients;cmdeq;coeff;flrs;locs)  ni@Loc|Loc,rsc5\_vote'base(Cmd),
            rsc5\_QuorumState(Cmd;cmdeq)  ni|


Date html generated: 2012_02_20-PM-05_06_06
Last ObjectModification: 2012_02_02-PM-02_18_19

Home Index