Nuprl Definition : rsc4_when_quorum
rsc4_when_quorum(Cmd;cmdeq;coeff;flrs) ==
ni,loc,vt,state.if rsc4_newvote(Cmd) ni vt state then rsc4_roundout(Cmd;cmdeq;coeff;flrs) loc vt state else {} fi
Definitions occuring in Statement :
rsc4_newvote: rsc4_newvote(Cmd),
rsc4_roundout: rsc4_roundout(Cmd;cmdeq;coeff;flrs),
ifthenelse: if b then t else f fi ,
apply: f a,
lambda: x.A[x],
empty-bag: {}
FDL editor aliases :
rsc4_when_quorum
rsc4\_when\_quorum(Cmd;cmdeq;coeff;flrs) ==
\mlambda{}ni,loc,vt,state.
...
Date html generated:
2012_02_20-PM-04_47_39
Last ObjectModification:
2012_02_02-PM-02_08_23
Home
Index