Nuprl Definition : pv11_p1_messages-delivered

pv11_p1_messages-delivered{paxos-v11-part1.esh:o}(Cmd; accpts; ldrs; ldrs_uid; reps; mf; es) ==
eo-msgs-interface-delivered(es;pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;mf);mf)

Definitions occuring in Statement : pv11_p1_main: pv11_p1_main(Cmd;accpts;ldrs;ldrs_uid;reps;mf), eo-msgs-interface-delivered: eo-msgs-interface-delivered(es;X;f)

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