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
Host: Dr. L. Cowen
Abstract
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.