## Maurice Herlihy, Nir Shavit

*A simple constructive computability theorem for wait-free computation*

STOC, 1994.

@inproceedings{STOC-1994-HerlihyS, author = "Maurice Herlihy and Nir Shavit", booktitle = "{Proceedings of the 26th Annual ACM Symposium on Theory of Computing}", doi = "10.1145/195058.195144", isbn = "0-89791-663-8", pages = "243--252", publisher = "{ACM}", title = "{A simple constructive computability theorem for wait-free computation}", year = 1994, }