Workshop do Projeto ARGO – Junho/2001

The purpose of the ARGO project (a cooperative project between LaSiD/UFBA and ADP/IRISA, sponsored by CNPq and INRIA) is the development of group communication services (like ordered message transmission, group membership, etc.) based on fact that all these kinds of services can be considered as extensions of a more abstract agreement problem: the distributed consensus. The ARGO project aims to obtain, as a main result, the implementation of a prototype that guarantees the requirements of reliability upon a asynchronous distributed systems (where message transmission and processing times can not be bound).

The first Workshop of ARGO is divided into two parts: the first one focuses on the research directly related to the ARGO project, including talks from the project team. The second part is dedicated to external contributors who attended our Call for Contributions covering areas of interest of our project (Fault Tolerance for Distributed Systems; Distributed Algorithms; Formal Methods for Distributed Systems; Group Communication; Failure Detection; Consensus; Distributed Platforms; etc.).

In this document are the extended abstracts corresponding to both, internal project team and external presentations. In total, there will be 11 presentations covering many aspects of fault tolerant distributed systems, from algorithms to system architectures.

We hope that by opening our project workshop to the interested public, we can contribute for a wider discussion of our approach, allowing the confrontation with possibly different points of views.

Finally, we wish all a productive and enjoyable workshop.