TU Berlin

Internet Network ArchitecturesAll Publications

Page Content

to Navigation

All publications

Using the Topological Characterization of Synchronous Models
Citation key BGHKPPS-UTCSM-02
Author Blanc, Sylvestre and Guerraoui, Rachid and Hess, Kathryn and Kouznetsov, Petr and Parent, Paul-Eugéne and Pochon, Bastian and Sauvageot, Orin
Title of Book Workshop on Geometric and Topological Methods in Concurrency and Distributed Systems Theory (GETCO 2002)
Pages 36–47
Year 2002
ISSN 1571-0661
DOI http://dx.doi.org/10.1016/S1571-0661(04)80834-X
Location Toulouse, France
Volume 81
Month October
Publisher Elsevier
Series Electronic Notes in Theoretical Computer Science
Abstract This paper contributes to the characterization of synchronous models of distributed computing using topological techniques. We consider a generic synchronous model with send-omission failures and use a topological structure corresponding to a bounded number of rounds of the model. We observe some nice properties of the structure and derive from these properties necessary and sufficient conditions to solve consensus in this model.
Link to publication Download Bibtex entry


Quick Access

Schnellnavigation zur Seite über Nummerneingabe