Semaphore primitives and starvation-free mutual exclusion
Journal of the ACM (JACM)
Proving Liveness Properties of Concurrent Programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
On a solution to the cigarette smoker's problem (without conditional statements)
Communications of the ACM
Technical correspondence: Interlude on signals and semephores revisited
Communications of the ACM
Verification and design aspects of "true concurrency"
POPL '78 Proceedings of the 5th ACM SIGACT-SIGPLAN symposium on Principles of programming languages
A semantic model for parallel systems with scheduling
POPL '75 Proceedings of the 2nd ACM SIGACT-SIGPLAN symposium on Principles of programming languages
On formulating simultaneity for studying parallelism and synchronization
STOC '78 Proceedings of the tenth annual ACM symposium on Theory of computing
Structured specification of a Security Kernel
Proceedings of the international conference on Reliable software
SYNVER: A system for the automatic synthesis and verification of synchronization processes
ACM '74 Proceedings of the 1974 annual conference - Volume 1
| Hi-index | 0.03 |