Data Requirements for Implementation of N-Process Mutual Exclusion Using a Single Shared Variable
Journal of the ACM (JACM)
ACM Computing Surveys (CSUR)
Formal verification of parallel programs
Communications of the ACM
Reduction: a method of proving properties of parallel programs
Communications of the ACM
Synchronization of communicating processes
Communications of the ACM
Concurrent control with “readers” and “writers”
Communications of the ACM
Additional comments on a problem in concurrent programming control
Communications of the ACM
The Logical Design of Operating Systems
The Logical Design of Operating Systems
Operating Systems Theory
On the Absence of Livelocks in Parallel Programs
Proceedings of the International Sympoisum on Semantics of Concurrent Computation
On abstractions of parallel programs
STOC '76 Proceedings of the eighth annual ACM symposium on Theory of computing
On synchronization primitive systems
On synchronization primitive systems
Tight bounds for shared memory symmetric mutual exclusion problems
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
An Ada solution to the general mutual exclusion problem
ACM SIGAda Ada Letters
ACM SIGAda Ada Letters
ACM SIGOPS Operating Systems Review
A theorem in database concurrency control
Journal of the ACM (JACM)
Symmetry and similarity in distributed systems
Proceedings of the fourth annual ACM symposium on Principles of distributed computing
The well-tempered semaphore: theme with variations
SIGCSE '02 Proceedings of the 33rd SIGCSE technical symposium on Computer science education
The Deadlock problem: a classifying bibliography
ACM SIGOPS Operating Systems Review
| Hi-index | 0.04 |