direkt zum Inhalt springen

direkt zum Hauptnavigationsmenü

Sie sind hier

TU Berlin

Page Content

Publications by Type: Conference and Workshop Publications

see also conference papers, workshop papers, demos, and posters. (under construction)

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

Zusatzinformationen / Extras

Quick Access:

Schnellnavigation zur Seite über Nummerneingabe

Auxiliary Functions

Under Construction

This page/section is
still under construc-
tion. Please try again