An Example of Validation and Evaluation ofa Concurrent Program: Lamport's Fast Mutual Exclusion Algorithm.

Gianfranco Balbo, Giovanni Chiola, Steven C. Bruell, Pozung Chen

Browse the full SIGMETRICS paper archive.