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
Vote == ((inl bv where bv from MaxAccept)'?inr \mcdot{} ) when x1
Date html generated:
2015_07_17-AM-09_10_47
Last ObjectModification:
2012_02_25-AM-10_52_07
Home
Index