Just Verification of Mutual Exclusion Algorithms.

Rob van Glabbeek, Bas Luttik, Myrthe S. C. Spronck

Browse the full CONCUR paper archive.