Nuprl Definition : pv11_p1_message-constraint

pv11_p1_message-constraint{paxos-v11-part1.esh:o}(Cmd; accpts; ldrs; ldrs_uid; reps; mf; es) ==
eo-msg-interface-constraint(es;pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;mf);pv11_p1_headers_no_inputs();mf)

Definitions occuring in Statement : pv11_p1_headers_no_inputs: pv11_p1_headers_no_inputs(), pv11_p1_main: pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;mf), eo-msg-interface-constraint: eo-msg-interface-constraint(es;X;hdrs;f)

Latex:
pv11\_p1\_message-constraint\{paxos-v11-part1.esh:o\}(Cmd; accpts; ldrs; ldrs$_{uid}\mbackslash{}ff2\000C4; reps; mf; es) == eo-msg-interface-constraint(es;pv11\_p1\_main(Cmd;accpts;ldrs;ldrs$_{uid}$;reps;\000Cmf);...;mf) Date html generated: 2015_07_23-PM-04_34_21 Last ObjectModification: 2014_11_30-PM-02_46_29 Home Index