Nuprl Definition : rsc5_QuorumState
rsc5_QuorumState(Cmd;cmdeq) ==
ni.Memory-class(rsc5_add_to_quorum(Cmd;cmdeq) ni;rsc5_init() <inr 
, []>;rsc5_vote'base(Cmd))
Definitions occuring in Statement :
rsc5_add_to_quorum: rsc5_add_to_quorum(Cmd;cmdeq),
rsc5_vote'base: rsc5_vote'base(Cmd),
Memory-class: Memory-class(f;init;X),
it: ,
apply: f a,
lambda: x.A[x],
pair: <a, b>,
inr: inr x ,
nil: []
FDL editor aliases :
rsc5_QuorumState
rsc5\_QuorumState(Cmd;cmdeq) ==
\mlambda{}ni.Memory-class(rsc5\_add\_to\_quorum(Cmd;cmdeq) ni;rsc5\_init() <inr \mcdot{} , []>rsc5\_vote'base(Cmd))
Date html generated:
2012_02_20-PM-05_05_53
Last ObjectModification:
2012_02_02-PM-02_18_14
Home
Index