Nuprl Definition : Paxos-spec8-spec714
Collect3 == es-collect-filter-max(VoteState; x2 + 1; vs.Reservation(vs); vs.tt; vs.Ballot(vs))
Definitions occuring in Statement :
abbreviation: VoteState,
btrue: tt,
add: n + m,
natural_number: $n
Latex:
Collect3 == es-collect-filter-max(VoteState; x2 + 1; vs.Reservation(vs); vs.tt; vs.Ballot(vs))
Date html generated:
2016_05_16-AM-10_53_07
Last ObjectModification:
2012_02_25-AM-10_52_08
Theory : event-ordering
Home
Index