Managed Agreement: Generalizing two fundamental distributed agreement problems |
| |
Authors: | Emmanuelle Anceaume Maria Gradinariu |
| |
Affiliation: | a IRISA, Rennes, France b Computer Science Department, The Technion, Haifa, Israel c LIP6, Université Paris 6, France |
| |
Abstract: | This paper presents a family of agreement problems called Managed Agreement, which is parameterized by the number of aristocrat nodes in the system; NBAC is a special case of this family when all nodes are aristocrats while Consensus is a special case of this family when there are no aristocrats. The paper also presents a parameterized family of failure detectors F(A) such that F(A) is the weakest failure detector class that enables solving Managed Agreement with a set A of aristocrats in an asynchronous environment. |
| |
Keywords: | Automatic theorem proving Formal languages |
本文献已被 ScienceDirect 等数据库收录! |
|