Conditions on Input Vectors for Consensus Solvability in Asynchronous Distributed Systems

October 24, 2001
1:30 pm - 2:30 pm
Halligan 111
Speaker: Sergio Rajsbaum, Compaq


This work introduces and explores a new approach to solve the consensus problem in asynchronous systems: the Condition-Based approach. It consists of identifying sets of input vectors for which it is possible to design a protocol solving consensus despite the occurrence of process crashes. This is an ongoing research project joint with Achour Most\'efaoui, Michel Raynal, and Matthieu Roy, of IRISA, France. Some of the results have been presented in PODC'01, SIROCCO'01, and STOC'01.