abbr33(f;1b) ==
Collect(f + 1 vs's from VoteState with maximum Reservation(vs) such that tt
return <Reservation(vs),n,vs> with n = maximum Ballot(vs))
Definitions :
paxos-state-ballot: Ballot(s),
btrue: tt,
paxos-state-reservation: Reservation(s),
natural_number: $n,
add: n + m,
abbr23: VoteState,
es-collect-filter-max: es-collect-filter-max
FDL editor aliases :
abbr33
abbr33(f;1b) ==
Collect(f + 1 vs's from VoteState with maximum Reservation(vs) such that tt
return <Reservation(vs),n,vs> with n = maximum Ballot(vs))
Date html generated:
2010_08_28-PM-01_41_41
Last ObjectModification:
2010_08_06-PM-12_47_41
Home
Index