#Herlihy-Shavit
1 post in tag “Herlihy-Shavit”.
Algebraic Topology in Distributed Computing: Wait-Free Solvability and Simplicial Complexes
2025-07-06Discover 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'.