Reliable communication in the presence of failures
ACM Transactions on Computer Systems (TOCS)
SPAA '89 Proceedings of the first annual ACM symposium on Parallel algorithms and architectures
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Proving sequential consistency of high-performance shared memories (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Sequential consistency versus linearizability (extended abstract)
SPAA '91 Proceedings of the third annual ACM symposium on Parallel algorithms and architectures
Lightweight causal and atomic group multicast
ACM Transactions on Computer Systems (TOCS)
A correctness condition for high-performance multiprocessors (extended abstract)
STOC '92 Proceedings of the twenty-fourth annual ACM symposium on Theory of computing
Specifying non-blocking shared memories (extended abstract)
SPAA '92 Proceedings of the fourth annual ACM symposium on Parallel algorithms and architectures
SPAA '93 Proceedings of the fifth annual ACM symposium on Parallel algorithms and architectures
Weak ordering—a new definition
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
Memory consistency and event ordering in scalable shared-memory multiprocessors
ISCA '90 Proceedings of the 17th annual international symposium on Computer Architecture
ACM Transactions on Computer Systems (TOCS)
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Implementing FIFO Queus and Stacks (Extended Abstract)
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
Efficient, Strongly Consistent Implementations of Shared Memory (Extended Abstract)
WDAG '92 Proceedings of the 6th International Workshop on Distributed Algorithms
How to Make a Multiprocessor Computer That Correctly Executes Multiprocess Programs
IEEE Transactions on Computers
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
Making operations of concurrent data types fast
PODC '94 Proceedings of the thirteenth annual ACM symposium on Principles of distributed computing
InterWeave: A Middleware System for Distributed Shared State
LCR '00 Selected Papers from the 5th International Workshop on Languages, Compilers, and Run-Time Systems for Scalable Computers
Exploiting high-level coherence information to optimize distributed shared state
Proceedings of the ninth ACM SIGPLAN symposium on Principles and practice of parallel programming
Implementing hybrid consistency with high-level synchronization operations
Distributed Computing
Hi-index | 0.00 |