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

G Balbo, G Chiola, SC Bruell, P Chen - SIGMETRICS, 1989
Save Cite Cited by 3 Related articles
Showing the best result for this search. See all results