The Topological Structure of Asynchronous Computability
by Maurice Herlihy and Nir Shavit
Brown University Computer Science Dept. Technical Report CS96-03
The abstract and links to a postscript version of this paper
are
available
.
This is the long-awaited technical report version of the STOC 93
and 94 papers on the application of algebraic topology to distributed
computing, now with proofs.