A simple constructive computability theorem for wait-free computation.

Maurice Herlihy, Nir Shavit

Browse the full STOC paper archive.