Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
Shared-memory mutual exclusion: major research trends since 1986
Distributed Computing - Papers in celebration of the 20th anniversary of PODC
A mutual exclusion algorithm with optimally bounded bypasses
Information Processing Letters
Genetic Programming and Model Checking: Synthesizing New Mutual Exclusion Algorithms
ATVA '08 Proceedings of the 6th International Symposium on Automated Technology for Verification and Analysis
Model Checking Driven Heuristic Search for Correct Programs
Model Checking and Artificial Intelligence
A mutual exclusion algorithm with optimally bounded bypasses
Information Processing Letters
| Hi-index | 0.00 |