STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Computing with faulty shared memory
PODC '92 Proceedings of the eleventh annual ACM symposium on Principles of distributed computing
Journal of the ACM (JACM)
Computing with faulty shared objects
Journal of the ACM (JACM)
How to share concurrent wait-free variables
Journal of the ACM (JACM)
Space-efficient construction of buffer-optimal 1-writer 1-reader multivalued atomic variable
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Simple and efficient bounded concurrent timestamping and the traceable use abstraction
Journal of the ACM (JACM)
Lamport on mutual exclusion: 27 years of planting seeds
Proceedings of the twentieth annual ACM symposium on Principles of distributed computing
Bounded concurrent timestamp systems using vector clocks
Journal of the ACM (JACM)
Algorithms for signal and message asynchronous communication mechanisms and their analysis
Fundamenta Informaticae - Application of concurrency to system design
Randomized naming using wait-free shared variables
Distributed Computing
Distributed Computing
Multi-writer composite registers
Distributed Computing
Metastability in Asynchronous Wait-Free Protocols
IEEE Transactions on Computers
Wait-free regular storage from Byzantine components
Information Processing Letters
A Scalable and Oblivious Atomicity Assertion
CONCUR '08 Proceedings of the 19th international conference on Concurrency Theory
Journal of Parallel and Distributed Computing
Resilience of mutual exclusion algorithms to transient memory faults
Proceedings of the 30th annual ACM SIGACT-SIGOPS symposium on Principles of distributed computing
Proving atomicity: an assertional approach
DISC'05 Proceedings of the 19th international conference on Distributed Computing
Algorithms for Signal and Message Asynchronous Communication Mechanisms and their Analysis
Fundamenta Informaticae - Application of Concurrency to System Design
Hi-index | 0.00 |