Nuprl Definition : Paxos-spec8-spec73
Collect1 ==  es-collect-opt-max(x1; x2; x3 + 1; vs.fst(snd(vs)); vs.snd(snd(vs)))
Definitions occuring in Statement : 
pi1: fst(t)
, 
pi2: snd(t)
, 
add: n + m
, 
natural_number: $n
Latex:
Collect1  ==    es-collect-opt-max(x1;  x2;  x3  +  1;  vs.fst(snd(vs));  vs.snd(snd(vs)))
Date html generated:
2016_05_16-AM-10_53_03
Last ObjectModification:
2012_02_25-AM-10_52_03
Theory : event-ordering
Home
Index