Fair and Efficient Mutual Exclusion Algorithms (Extended Abstract)
Proceedings of the 13th International Symposium on Distributed Computing
A mutual exclusion algorithm with optimally bounded bypasses
Information Processing Letters
A mutual exclusion algorithm with optimally bounded bypasses
Information Processing Letters
Progress in deriving concurrent programs: emphasizing the role of stable guards
MPC'06 Proceedings of the 8th international conference on Mathematics of Program Construction
Hi-index | 0.00 |