Nuprl Definition : new_23_sig_ReplicaState
new_23_sig_ReplicaState(Cmd;notify;propose;slots;f) ==
memory-class1(initially λloc.set-sig-empty(slots)
applying new_23_sig_update_replica(Cmd;slots)
on new_23_sig_Proposal(Cmd;notify;propose;f))
Definitions occuring in Statement :
new_23_sig_update_replica: new_23_sig_update_replica(Cmd;slots)
,
new_23_sig_Proposal: new_23_sig_Proposal(Cmd;notify;propose;f)
,
memory-class1: memory-class1,
lambda: λx.A[x]
,
set-sig-empty: set-sig-empty(s)
FDL editor aliases :
new_23_sig_ReplicaState
Latex:
new\_23\_sig\_ReplicaState(Cmd;notify;propose;slots;f) ==
memory-class1(initially \mlambda{}loc.set-sig-empty(slots)
applying new\_23\_sig\_update\_replica(Cmd;slots)
on new\_23\_sig\_Proposal(Cmd;notify;propose;f))
Date html generated:
2015_07_23-PM-03_52_02
Last ObjectModification:
2013_11_23-PM-09_56_22
Home
Index