N MIT / LCS / TM-382 THE IMPACT OF RECOVERY ON CONCURRENCY CONTROL ( Extended Abstract )

[1]  Alfred Z. Spector,et al.  Synchronizing shared abstract types , 1984, TOCS.

[2]  James G. Mitchell,et al.  A comparison of two network-based file servers , 1981, SOSP.

[3]  Irving L. Traiger,et al.  The notions of consistency and predicate locks in a database system , 1976, CACM.

[4]  Henry F. Korth,et al.  Locking Primitives in a Database System , 1983, JACM.

[5]  Philip A. Bernstein,et al.  Concurrency Control in Distributed Database Systems , 1986, CSUR.

[6]  William E. Weihl,et al.  Local atomicity properties: modular concurrency control for abstract data types , 1989, TOPL.

[7]  Butler W. Lampson,et al.  Atomic Transactions , 1980, Advanced Course: Distributed Systems.

[8]  Christos H. Papadimitriou,et al.  The serializability of concurrent database updates , 1979, JACM.

[9]  Philip A. Bernstein,et al.  Analyzing Concurrency Control Algorithms When User and System Operations Differ , 1983, IEEE Transactions on Software Engineering.

[10]  Vassos Hadzilacos,et al.  A theory of reliability in database systems , 1988, JACM.

[11]  James E. Allchin,et al.  An architecture for reliable decentralized systems , 1983 .

[12]  Alfred Z. Spector,et al.  Support for Distributed Transactions in the TABS Prototype , 1985, IEEE Transactions on Software Engineering.

[13]  Catriel Beeri,et al.  A Concurrency Control Theory for Nested Transactions. , 1983, PODC 1983.

[14]  Patrick E. O'Neil,et al.  The Escrow transactional method , 1986, TODS.

[15]  Barbara Liskov,et al.  Guardians and Actions: Linguistic Support for Robust, Distributed Programs , 1983, TOPL.

[16]  J. T. Robinson,et al.  On optimistic methods for concurrency control , 1979, TODS.

[17]  Nancy A. Lynch,et al.  Hierarchical correctness proofs for distributed algorithms , 1987, PODC '87.

[18]  Marc H. Graham,et al.  Abstraction in Concurrency Control and Recovery Management , 1986 .