The topological structure of asynchronous computability
@article{Herlihy1999TheTS,
title={The topological structure of asynchronous computability},
author={M. Herlihy and N. Shavit},
journal={J. ACM},
year={1999},
volume={46},
pages={858-923}
}We give necessary and sufficient combinatorial conditions characterizing the tasks that can be solved by asynchronous processes, of which all but one can fail, that communicate by reading and writing a shared memory. We introduce a new formalism for tasks, based on notions from classical algebraic and combinatorial topology, in which a task''s possible input and output values are each associated with high-dimensional geometric structures called simplicial complexes. We characterize… CONTINUE READING
Paper Mentions
Blog Post
468 Citations
An algorithmic approach to the asynchronous computability theorem
- Computer Science, Mathematics
- J. Appl. Comput. Topol.
- 2018
- 1
- PDF
Toward a Topological Characterization of Asynchronous Complexity
- Computer Science
- SIAM J. Comput.
- 2006
- 18
- PDF
Geometric and combinatorial views on asynchronous computability
- Computer Science
- Distributed Computing
- 2018
- 3
- Highly Influenced
- PDF
An Overview of Synchronous Message-Passing and Topology
- Computer Science
- Electron. Notes Theor. Comput. Sci.
- 2001
- 8
- PDF
A Simple Algorithmic Characterization of Uniform Solvability (Extended Abstract)
- Mathematics
- 2002
- Highly Influenced
Collapsibility of read/write models using discrete morse theory
- Computer Science
- J. Appl. Comput. Topol.
- 2018
- 3
References
SHOWING 1-10 OF 10 REFERENCES
Generalized FLP impossibility result for t-resilient asynchronous computations
- Computer Science
- STOC '93
- 1993
- 423
- Highly Influential
Distributed Computing: Fundamentals, Simulations and Advanced Topics
- Computer Science
- 1998
- 1,050
- Highly Influential
Generalized p impossibility result for tresilient asynchronous computations
- Proceedings of the 1993 ACM Symposium on Theory of Computing
- 1993
The implications of the borowski-gafni simulation on the set consensus hierarchy
- The implications of the borowski-gafni simulation on the set consensus hierarchy
- 1993
Geometrical Combinatorial Topology, v olume 1
- Geometrical Combinatorial Topology, v olume 1
- 1970