Nuprl Definition : Paxos-spec8-spec72
VoteState ==  (let a,r,bv = x in <<a, r>, bv> where x from x1)
Definitions occuring in Statement : 
spreadn: spread3, 
pair: <a, b>
Latex:
VoteState  ==    (let  a,r,bv  =  x  in  <<a,  r>,  bv>  where  x  from  x1)
Date html generated:
2016_05_16-AM-10_53_02
Last ObjectModification:
2012_02_25-AM-10_52_03
Theory : event-ordering
Home
Index