Nuprl Definition : new_23_sig

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