Nuprl Definition : rsc4_ReplicaState
rsc4_ReplicaState(Cmd) == Memory-class(rsc4_update_replica(Cmd);rsc4_init() <0, []>;rsc4_Proposal(Cmd))
Definitions occuring in Statement :
rsc4_update_replica: rsc4_update_replica(Cmd),
rsc4_Proposal: rsc4_Proposal(Cmd),
rsc4_init: rsc4_init(),
Memory-class: Memory-class(f;init;X),
apply: f a,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
rsc4_ReplicaState
rsc4\_ReplicaState(Cmd) ==
Memory-class(rsc4\_update\_replica(Cmd);rsc4\_init() ɘ, []>rsc4\_Proposal(Cmd))
Date html generated:
2012_02_20-PM-04_54_01
Last ObjectModification:
2012_02_02-PM-02_09_44
Home
Index