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