Nuprl Definition : Paxos-spec8-spec71
VoteState == (let a,r,bv = x in <<a, r>, bv> where x from x1)
Definitions occuring in Statement :
spreadn: spread3,
pair: <a, b>
VoteState == (let a,r,bv = x in <<a, r>, bv> where x from x1)
Date html generated:
2015_07_17-AM-09_10_45
Last ObjectModification:
2012_02_25-AM-10_52_02
Home
Index