Nuprl Definition : Paxos-spec8-spec712
Vote' == (let a,b,ok = x in <<a, b>, ok> where x from x1)
Definitions occuring in Statement :
spreadn: spread3,
pair: <a, b>
Latex:
Vote' == (let a,b,ok = x in <<a, b>, ok> where x from 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