Nuprl Definition : Paxos-spec8-spec711
Vote ==  ((inl bv where bv from MaxAccept)'?inr ⋅ ) when x1
Definitions occuring in Statement : 
abbreviation: MaxAccept
, 
it: ⋅
, 
inr: inr x 
, 
inl: inl x
Latex:
Vote  ==    ((inl  bv  where  bv  from  MaxAccept)'?inr  \mcdot{}  )  when  x1
Date html generated:
2016_05_16-AM-10_53_06
Last ObjectModification:
2012_02_25-AM-10_52_07
Theory : event-ordering
Home
Index