A Protocol for Randomized Anonymous Two-process Wait-free Test-and-Set with Finite-state Verification.

John Tromp, Paul M. B. Vitnyi

Browse the full SIROCCO paper archive.