Nuprl Definition : Paxos-spec8-spec716
Acc == Tagged_tt(AccOrRej)
Definitions occuring in Statement :
abbreviation: AccOrRej
Latex:
Acc == Tagged\_tt(AccOrRej)
Date html generated:
2016_05_16-AM-10_53_17
Last ObjectModification:
2012_02_25-AM-10_52_09
Theory : event-ordering
Home
Index