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