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),
set-sig-empty: set-sig-empty(s),
memory-class1-program: memory-class1-program(init;tr;pr),
lambda: λx.A[x]
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:
2016_05_17-PM-02_06_52
Last ObjectModification:
2013_11_23-PM-09_56_30
Theory : 2!3!consensus!with!signatures
Home
Index