Nuprl Definition : Paxos-spec8-spec710
MaxAccept == accum-class(bv1,bv2.if fst(bv1) <z fst(bv2) then bv2 else bv1 fi ; bv.bv; Accept)
Definitions occuring in Statement :
abbreviation: Accept,
ifthenelse: if b then t else f fi ,
lt_int: i <z j,
pi1: fst(t)
MaxAccept == accum-class(bv1,bv2.if fst(bv1) <z fst(bv2) then bv2 else bv1 fi ; bv.bv; Accept)
Date html generated:
2015_07_17-AM-09_10_47
Last ObjectModification:
2012_02_25-AM-10_52_06
Home
Index