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>
Latex:
AccOrRej  ==    (<snd(fst(v)),  snd(v)>  where  v  from  AcceptOrReject)
Date html generated:
2016_05_16-AM-10_53_16
Last ObjectModification:
2012_02_25-AM-10_52_08
Theory : event-ordering
Home
Index