The power of synchronization mechanisms
SIAM Journal on Computing
Reduction: a method of proving properties of parallel programs
Communications of the ACM
Limitations of synchronization primitives with conditional branching and global variables
STOC '74 Proceedings of the sixth annual ACM symposium on Theory of computing
Monitors: an operating system structuring concept.
Monitors: an operating system structuring concept.
Comments on “a correct and unrestrictive implementation of general semaphores”
ACM SIGOPS Operating Systems Review
Further comments on "A Correct and Unrestrictive Implementation of General Semaphores"
ACM SIGOPS Operating Systems Review
| Hi-index | 0.00 |