A Simple Algorithmically Reasoned Characterization of Wait-free Computations (1997)

by Borowsky
Venue:In Proceeding of he Sixteenth Annual ACM Symoium on Pvinciple of Distributed Computing