A Theory of Atomic Transactions.
Nancy A. Lynch, Michael Merritt, William E. Weihl, Alan Fekete:
A Theory of Atomic Transactions.
ICDT 1988: 41-71@inproceedings{DBLP:conf/icdt/LynchMWF88,
author = {Nancy A. Lynch and
Michael Merritt and
William E. Weihl and
Alan Fekete},
editor = {Marc Gyssens and
Jan Paredaens and
Dirk Van Gucht},
title = {A Theory of Atomic Transactions},
booktitle = {ICDT'88, 2nd International Conference on Database Theory, Bruges,
Belgium, August 31 - September 2, 1988, Proceedings},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
volume = {326},
year = {1988},
isbn = {3-540-50171-1},
pages = {41-71},
ee = {db/conf/icdt/LynchMWF88.html},
crossref = {DBLP:conf/icdt/88},
bibsource = {DBLP, http://dblp.uni-trier.de}
}
BibTeX
CDROM Version: Load the CDROM "Volume 2 Issue 2, EDBT, ICDT, MFDBS, DASFAA" and ...
DVD Version: Load ACM SIGMOD Anthology DVD 1" and ...
BibTeX
References
- [AFLMW]
- James Aspnes, Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
A Theory of Timestamp-Based Concurrency Control for Nested Transactions.
VLDB 1988: 431-444 BibTeX
- [BBG]
- ...
- [BHG]
- Philip A. Bernstein, Vassos Hadzilacos, Nathan Goodman:
Concurrency Control and Recovery in Database Systems.
Addison-Wesley 1987, ISBN 0-201-10715-5
Contents BibTeX
- [Davies]
- ...
- [FLMW1]
- Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
Nested Transactions and Read/Write Locking.
PODS 1987: 97-111 BibTeX
- [FLMW2]
- ...
- [Gifford]
- David K. Gifford:
Weighted Voting for Replicated Data.
SOSP 1979: 150-162 BibTeX
- [GL]
- Kenneth J. Goldman, Nancy A. Lynch:
Quorum Consensus in Nested Transaction Systems.
PODC 1987: 27-41 BibTeX
- [Herlihy]
- Maurice Herlihy:
Extending Multiversion Time-Stamping Protocols to Exploit Type Information.
IEEE Trans. Computers 36(4): 443-448(1987) BibTeX
- [HLMW]
- ...
- [Hoare]
- C. A. R. Hoare:
Communicating Sequential Processes.
Prentice-Hall 1985, ISBN 0-13-153271-5
BibTeX
- [Liskov]
- Barbara Liskov:
Distributed Programming in Argus.
Commun. ACM 31(3): 300-312(1988) BibTeX
- [LM]
- Nancy A. Lynch, Michael Merritt:
Introduction to the Theory of Nested Transactions.
Theor. Comput. Sci. 62(1-2): 123-185(1988) BibTeX
- [LMWF]
- ...
- [LT]
- Nancy A. Lynch, Mark R. Tuttle:
Hierarchical Correctness Proofs for Distributed Algorithms.
PODC 1987: 137-151 BibTeX
- [Milner]
- ...
- [Moss]
- ...
- [Perl]
- ...
- [SS]
- ...
- [Reed]
- ...
- [Weihl]
- ...
Referenced by
- Alan Fekete, Nancy A. Lynch, William E. Weihl:
A Serialization Graph Construction for Nested Transactions.
PODS 1990: 94-108
- Andrea Bondavalli, Nicoletta De Francesco, Diego Latella, Gigliola Vaglini:
Shared Abstract Data Types: An Algebraic Methodology for Their Specification.
MFDBS 1989: 53-67
- James Aspnes, Alan Fekete, Nancy A. Lynch, Michael Merritt, William E. Weihl:
A Theory of Timestamp-Based Concurrency Control for Nested Transactions.
VLDB 1988: 431-444
BibTeX
ACM SIGMOD Anthology - DBLP:
[Home | Search: Author, Title | Conferences | Journals]
Lecture Notes in Computer Science: Copyright © by Springer
Digitization of EDBT/ICDT/MFDBS proceedings was supported by the EDBT Endowment.
ACM SIGMOD Anthology: Copyright © by ACM (info@acm.org), Corrections: anthology@acm.org
DBLP: Copyright © by Michael Ley (ley@uni-trier.de), last change: Sat May 16 23:19:00 2009