A simple constructive computability theorem for wait-free computation

Proceedings of the twenty-sixth annual ACM symposium on Theory of computing - STOC '94 ◽

10.1145/195058.195144 ◽

1994 ◽

Author(s):

Maurice Herlihy ◽

Nir Shavit

Download Full-text