Nuprl Definition : new_23_sig

Nuprl Definition : new_23_sig_main-program

new_23_sig_main-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) ==
(new_23_sig_Replica-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f))@reps

Definitions occuring in Statement : new_23_sig_Replica-program: new_23_sig_Replica-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f), class-at-program: (pr)@locs
FDL editor aliases : new_23_sig_main-program

Latex:
new\_23\_sig\_main-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f) == (new\_23\_sig\_Replica-program(Cmd;clients;cmdeq;coeff;flrs;notify;propose;reps;slots;f))@reps Date html generated: 2015_07_23-PM-03_52_41 Last ObjectModification: 2013_11_23-PM-09_56_51 Home Index