This paper defines the quorum-based fault-tolerant mutual exclusion problem in a message-passing asynchronous system and determines a failure detector to solve the problem. This failure detector, which we call the modal failure detector star, and which we denote by M*, is strictly weaker than the perfect failure detector P but strictly stronger than the eventually perfect failure detector ◇P. The paper shows that at any environment, the problem is solvable with M*. © 2011 Springer-Verlag.
CITATION STYLE
Park, S. H., & Lee, S. H. (2011). Quorum based mutual exclusion in asynchronous systems with unreliable failure detectors. In Communications in Computer and Information Science (Vol. 261 CCIS, pp. 25–34). https://doi.org/10.1007/978-3-642-27180-9_4
Mendeley helps you to discover research relevant for your work.