The mutual exclusion problem: part I—a theory of interprocess communication
Journal of the ACM (JACM)
Constructing multi-reader atomic values from non-atomic values
PODC '87 Proceedings of the sixth annual ACM Symposium on Principles of distributed computing
Toward a non-atomic era: l-exclusion as a test case
STOC '88 Proceedings of the twentieth annual ACM symposium on Theory of computing
Concurrent Reading While Writing
ACM Transactions on Programming Languages and Systems (TOPLAS)
Bounded polynomial randomized consensus
Proceedings of the eighth annual ACM Symposium on Principles of distributed computing
Bounded concurrrent time-stamp systems are constructible
STOC '89 Proceedings of the twenty-first annual ACM symposium on Theory of computing
On reasoning with the global time assumption
ACM Letters on Programming Languages and Systems (LOPLAS)
How to Make a Correct Multiprocess Program Execute Correctly on a Multiprocessor
IEEE Transactions on Computers
On specification of Read/Write shared variables
Journal of the ACM (JACM)
Multiwriter Consistency Conditions for Shared Memory Registers
SIAM Journal on Computing
| Hi-index | 0.00 |