Herlihy-Shavit

• Algebraic Topology in Distributed Computing: Wait-Free Solvability and Simplicial Complexes · 2025-07-06

  Discover how algebraic topology — simplicial complexes, Sperner's lemma, and homology — provides the deepest known framework for understanding what concurrent and distributed tasks are fundamentally solvable, as developed in Herlihy and Shavit's 'The Art of Multiprocessor Programming'.