The Topological Structure of Asynchronous Computability (1996)

by Maurice Herlihy, Nir Shavit
Venue:JOURNAL OF THE ACM