Home
•
About
•
Downloads
•
Documentation
•
Manual
•
Tutorial
•
Lectures
•
Publications
•
Case Studies
•
Support
[Rab82]
M. Rabin.
N-Process Mutual Exclusion with Bounded Waiting by 4log2N-Valued Shared Variable.
Journal of Computer and System Sciences
, 25(1), pages 66-75.
1982.
[
bib
]
Downloads:
bib
Links:
[
Google
] [
Google Scholar
] [
CiteSeer
]
Publications
PRISM publications
PRISM bibliography
External publications