The theory of database concurrency control
The theory of database concurrency control
Concurrency control and recovery in database systems
Concurrency control and recovery in database systems
Distributed cooperation with action systems
ACM Transactions on Programming Languages and Systems (TOPLAS)
Cooperating proofs for distributed programs with multiparty interactions
Information Processing Letters
Memory coherence in shared virtual memory systems
ACM Transactions on Computer Systems (TOCS)
Multiparty Interactions for Interprocess Communication and Synchronization
IEEE Transactions on Software Engineering
Linearizability: a correctness condition for concurrent objects
ACM Transactions on Programming Languages and Systems (TOPLAS)
Memory Access Dependencies in Shared-Memory Multiprocessors
IEEE Transactions on Software Engineering
Munin: distributed shared memory based on type-specific memory coherence
PPOPP '90 Proceedings of the second ACM SIGPLAN symposium on Principles & practice of parallel programming
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
Providing high availability using lazy replication
ACM Transactions on Computer Systems (TOCS)
ACM Transactions on Programming Languages and Systems (TOPLAS)
ACM SIGOPS Operating Systems Review
Implementing hybrid consistency with high-level synchronization operations
PODC '93 Proceedings of the twelfth annual ACM symposium on Principles of distributed computing
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
A Proof System for Communicating Sequential Processes
ACM Transactions on Programming Languages and Systems (TOPLAS)
Verifying properties of parallel programs: an axiomatic approach
Communications of the ACM
A Persistent Store for Large Shared Knowledge Bases
IEEE Transactions on Knowledge and Data Engineering
Semantics-Based Program Integration
ESOP '88 Proceedings of the 2nd European Symposium on Programming
WDAG '91 Proceedings of the 5th International Workshop on Distributed Algorithms
A classification of update methods for replicated databases
A classification of update methods for replicated databases
A New Solution to Coherence Problems in Multicache Systems
IEEE Transactions on Computers
Enriched View Synchrony: A Programming Paradigm for Partitionable Asynchronous Distributed Systems
IEEE Transactions on Computers
Timed buffers: A technique for update propagation in nomadic environments
Computer Communications
Hi-index | 0.00 |