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
Implementing hybrid consistency with high-level synchronization operations
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
The impact of recovery on concurrency control
PODS '89 Selected papers of the eighth ACM SIGACT-SIGMOD-SIGART symposium on Principles of database systems
Sequential consistency versus linearizability
ACM Transactions on Computer Systems (TOCS)
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
Pseudo Read-Modify-Write Operations: Bounded Wait-Free Implementations (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
What critical algebraic property allows operations of concurrent abstract data types to be “fast”?
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Linearizability in the Presence of Drifting Clocks and Under Different Delay Assumptions
Proceedings of the 13th International Symposium on Distributed Computing
Implementing hybrid consistency with high-level synchronization operations
Distributed Computing
Hi-index | 0.00 |