81 search results - page 17 / 17 » Approximations of Modal Logic K |
PODC
2006
ACM
13 years 11 months ago
2006
ACM
A quorum system over a universe of logical elements is a collection of subsets (quorums) of elements, any two of which intersect. In numerous distributed algorithms, the elements ...