Nuprl Definition : rsc3_when_quorum
rsc3_when_quorum(Cmd;cmdeq;coeff;flrs) ==
ni,loc,vt,state.if rsc3_newvote(Cmd) ni vt state then rsc3_roundout(Cmd;cmdeq;coeff;flrs) loc vt state else {} fi
Definitions occuring in Statement :
rsc3_newvote: rsc3_newvote(Cmd),
rsc3_roundout: rsc3_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 :
rsc3_when_quorum
rsc3\_when\_quorum(Cmd;cmdeq;coeff;flrs) ==
\mlambda{}ni,loc,vt,state.
...
Date html generated:
2012_02_20-PM-04_12_07
Last ObjectModification:
2012_02_02-PM-02_03_28
Home
Index