Nuprl Definition : Paxos-spec8-spec78
AcceptOrRejectTaggedTrue == Tagged_tt(AcceptOrReject)
Definitions occuring in Statement :
abbreviation: AcceptOrReject
AcceptOrRejectTaggedTrue == Tagged\_tt(AcceptOrReject)
Date html generated:
2015_07_17-AM-09_10_46
Last ObjectModification:
2012_02_25-AM-10_52_05
Home
Index