Nuprl Definition : Paxos-spec8-spec715
AccOrRej == (<snd(fst(v)), snd(v)> where v from AcceptOrReject)
Definitions occuring in Statement :
abbreviation: AcceptOrReject,
pi1: fst(t),
pi2: snd(t),
pair: <a, b>
AccOrRej == (<snd(fst(v)), snd(v)> where v from AcceptOrReject)
Date html generated:
2015_07_17-AM-09_10_48
Last ObjectModification:
2012_02_25-AM-10_52_08
Home
Index