Commutativity-based concurrency control for abstract data types

Publisher Website

1 January 1988

journal article
Published by Institute of Electrical and Electronics Engineers (IEEE) in IEEE Transactions on Computers

Vol. 37 (12) , 1488-1505
https://doi.org/10.1109/12.9728

Abstract

No abstract available

This publication has 17 references indexed in Scilit:

Hierarchical correctness proofs for distributed algorithms
Published by Association for Computing Machinery (ACM) ,1987
Introduction to the theory of nested transactions
Lecture Notes in Computer Science, 1986
A theoretical foundation of multi-level concurrency control
Published by Association for Computing Machinery (ACM) ,1985
Support for Distributed Transactions in the TABS Prototype
IEEE Transactions on Software Engineering, 1985
Implementation of resilient, atomic data types
ACM Transactions on Programming Languages and Systems, 1985
Guardians and Actions: Linguistic Support for Robust, Distributed Programs
ACM Transactions on Programming Languages and Systems, 1983
Locking Primitives in a Database System
Journal of the ACM, 1983
On optimistic methods for concurrency control
ACM Transactions on Database Systems, 1981
Concurrency Control in Distributed Database Systems
ACM Computing Surveys, 1981
Chapter 11. Atomic transactions
Published by Springer Nature ,1981