@misc{indiciaebc9eab2c22da, title = {An Algorithmic Approach to the Asynchronous Computability Theorem}, author = {Vikram Saraph and Maurice Herlihy and Eli Gafni}, year = {2017}, url = {https://arxiv.org/abs/1703.08525}, note = {Source identifier: 1703.08525} }