Using the Topological Characterization of Synchronous Models1 1This work is partially supported by the National Competence Center in Research on Mobile Information and Communication Systems (NCCR-MICS), a center supported by the Swiss National Science Foundation (under grant number 5005-67322)
| Autor: | Giovanni Adagio |
|---|---|
| Jazyk: | angličtina |
| Předmět: |
General Computer Science
010201 computation theory & mathematics Computer science Bounded function 010102 general mathematics Structure (category theory) 0102 computer and information sciences 0101 mathematics Topology 01 natural sciences Characterization (materials science) Theoretical Computer Science Computer Science(all) |
| Zdroj: | Electronic Notes in Theoretical Computer Science. :36-47 |
| ISSN: | 1571-0661 |
| DOI: | 10.1016/S1571-0661(04)80834-X |
| Popis: | 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. |
| Databáze: | OpenAIRE |
| Externí odkaz: |
|