Nuprl Definition : rsc5_ReplicaState
rsc5_ReplicaState(Cmd) == Memory-class(rsc5_update_replica(Cmd);rsc5_init() <0, []>;rsc5_Proposal(Cmd))
Definitions occuring in Statement :
rsc5_update_replica: rsc5_update_replica(Cmd),
rsc5_Proposal: rsc5_Proposal(Cmd),
Memory-class: Memory-class(f;init;X),
apply: f a,
pair: <a, b>,
nil: [],
natural_number: $n
FDL editor aliases :
rsc5_ReplicaState
rsc5\_ReplicaState(Cmd) ==
Memory-class(rsc5\_update\_replica(Cmd);rsc5\_init() ɘ, []>rsc5\_Proposal(Cmd))
Date html generated:
2012_02_20-PM-05_09_13
Last ObjectModification:
2012_02_02-PM-02_19_42
Home
Index