Nuprl Definition : Paxos-spec8-spec78
AcceptOrRejectTaggedTrue ==  Tagged_tt(AcceptOrReject)
Definitions occuring in Statement : 
abbreviation: AcceptOrReject
Latex:
AcceptOrRejectTaggedTrue  ==    Tagged\_tt(AcceptOrReject)
Date html generated:
2016_05_16-AM-10_53_05
Last ObjectModification:
2012_02_25-AM-10_52_05
Theory : event-ordering
Home
Index