Brief announcement: Compact topology of shared-memory adversaries

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract

The paper proposes a simple topological characterization of a large class of adversarial distributedcomputing models via affine tasks: sub-complexes of the second iteration of the standard chromatic subdivision. We show that the task computability of a model in the class is precisely captured by iterations of the corresponding affine task. While an adversary is in general defined as a non-compact set of infinite runs, its affine task is just a finite subset of runs of the 2-round iterated immediate snapshot (IIS) model. Our results generalize and improve all previously derived topological characterizations of distributed-computing models.

Original languageEnglish
Title of host publication31st International Symposium on Distributed Computing, DISC 2017
EditorsAndrea W. Richa
PublisherSchloss Dagstuhl- Leibniz-Zentrum fur Informatik GmbH, Dagstuhl Publishing
ISBN (Electronic)9783959770538
DOIs
Publication statusPublished - 1 Oct 2017
Externally publishedYes
Event31st International Symposium on Distributed Computing, DISC 2017 - Vienna, Austria
Duration: 16 Oct 201720 Oct 2017

Publication series

NameLeibniz International Proceedings in Informatics, LIPIcs
Volume91
ISSN (Print)1868-8969

Conference

Conference31st International Symposium on Distributed Computing, DISC 2017
Country/TerritoryAustria
CityVienna
Period16/10/1720/10/17

Keywords

  • Adversarial models
  • Affine tasks
  • Topological characterization

Fingerprint

Dive into the research topics of 'Brief announcement: Compact topology of shared-memory adversaries'. Together they form a unique fingerprint.

Cite this