John Tromp, Paul M. B. Vitányi. A Protocol for Randomized Anonymous Two-process Wait-free Test-and-Set with Finite-state Verification. In Christos Kaklamanis, Lefteris M. Kirousis, editors, SIROCCO 9, Proceedings of the 9th International Colloquium on Structural Information and Communication Complexity, Andros, Greece, June 10-12, 2002. Volume 13 of Proceedings in Informatics, pages 275-291, Carleton Scientific, 2002.
Abstract is missing.