The topological structure of asynchronous computability (1999)

by M Herlihy, N Shavit
Venue:Journal of the ACM (JACM