{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,22]],"date-time":"2025-03-22T04:18:28Z","timestamp":1742617108542,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":21,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540501718"},{"type":"electronic","value":"9783540459439"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1983]]},"DOI":"10.1007\/3-540-50171-1_3","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:16:52Z","timestamp":1330201012000},"page":"41-71","source":"Crossref","is-referenced-by-count":4,"title":["A theory of atomic transactions"],"prefix":"10.1007","author":[{"given":"Nancy","family":"Lynch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Merritt","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"William","family":"Weihl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Fekete","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"3_CR1","unstructured":"Aspnes, J., Fekete, A., Lynch, N., Merritt, M., and Weihl, W., \"A Theory of Timestamp-Based Concurrency Control for Nested Transactions,\" Proceedings of 14th International Conference on Very Large Data Bases, to appear."},{"key":"3_CR2","unstructured":"Beeri, C., Bernstein, P. A., and Goodman, N., \"A Model for Concurrency in Nested Transaction Systems,\" Technical Report, Wang Institute TR-86-03, March 1986."},{"key":"3_CR3","unstructured":"Bernstein, P., Hadzilacos, V., and Goodman, N., \"Concurrency Control and Recovery in Database Systems,\" Addison-Wesley, 1987."},{"key":"3_CR4","doi-asserted-by":"crossref","unstructured":"Davies, C. T., \"Recovery Semantics for a DB\/DC Systems,\" Proceedings of 28th ACM National Conference, 1973, pp. 136\u2013141.","DOI":"10.1145\/800192.805694"},{"key":"3_CR5","doi-asserted-by":"crossref","unstructured":"Fekete, A., Lynch, N., Merritt, M., and Weihl, W., \"Nested Transactions and Read\/Write Locking,\" Proceedings of 6th ACM Symposium on Principles of Database Systems, 1987, pp. 97\u2013111. An expanded version is available as Technical Memo MIT\/LCS\/TM-324, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., April 1987.","DOI":"10.1145\/28659.28669"},{"key":"3_CR6","unstructured":"Fekete, A., Lynch, N., Merritt, M., and Weihl, W., \"Nested Transactions, Conflict-Based Locking and Dynamic Atomicity,\" Technical Memo MIT\/LCS\/TM-340, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., September 1987. Submitted for publication."},{"key":"3_CR7","doi-asserted-by":"crossref","unstructured":"Gifford, D., \"Weighted Voting for Replicated Data,\" Proceedings of 7th ACM Symosium on Operating System Principles, 1979, pp. 150\u2013162.","DOI":"10.1145\/800215.806583"},{"key":"3_CR8","doi-asserted-by":"crossref","unstructured":"Goldman, K., and Lynch, N., \"Nested Transactions and Quorum Consensus,\" Proceedings of 6th ACM Symposium on Principles of Distributed Computation, 1987, pp. 27\u201341. An expanded version is available as Technical Report MIT\/LCS\/TR-390, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., May 1987.","DOI":"10.1145\/41840.41843"},{"key":"3_CR9","doi-asserted-by":"crossref","unstructured":"Herlihy, M., \"Extending Multiversion Time-Stamping Protocols to Exploit Type Information,\" IEEE Transactions on Computers C-36, April 1987.","DOI":"10.1109\/TC.1987.1676926"},{"key":"3_CR10","unstructured":"Herlihy, M., Lynch, N., Merritt, M., and Weihl, W., \"On the Correctness of Orphan Elimination Algorithms,\" Proceedings of 17th IEEE Symposium on Fault-Tolerant Computing, 1987, pp. 8\u201313."},{"key":"3_CR11","unstructured":"Hoare, C. A. R., \"Communicating Sequential Processes,\" Prentice Hall International, 1985."},{"issue":"3","key":"3_CR12","doi-asserted-by":"crossref","first-page":"300","DOI":"10.1145\/42392.42399","volume":"31","author":"B. Liskov","year":"1988","unstructured":"Liskov, B., \"Distributed Computing in Argus,\" Communications of ACM, vol. 31, no. 3, March 1988, pp. 300\u2013312.","journal-title":"Communications of ACM"},{"key":"3_CR13","unstructured":"Lynch, N., and Merritt, M., \"Introduction to the Theory of Nested Transactions,\" Technical Report MIT\/LCS\/TR-367, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., July 1986. To appear in Theoretical Computer Science."},{"key":"3_CR14","unstructured":"Lynch, N., Merritt, M., Weihl, W., and Fekete, A., \"Atomic Transactions,\" in preparation."},{"key":"3_CR15","doi-asserted-by":"crossref","unstructured":"Lynch, N., and Tuttle, M., \"Hierarchical Correctness Proofs for Distributed Algorithms,\" Proceedings of 6th ACM Symposium on Principles of Distributed Computation, 1987, pp. 137\u2013151. An expanded version is available as Technical Report MIT\/LCS\/TR-387, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., April 1987.","DOI":"10.1145\/41840.41852"},{"key":"3_CR16","doi-asserted-by":"crossref","unstructured":"Milner, R., \"A Calculus of Communicating Systems,\" Lecture Notes in Computer Science 92, Springer Verlag, 1980.","DOI":"10.1007\/3-540-10235-3"},{"key":"3_CR17","unstructured":"Moss, J. E. B., \"Nested Transactions: An Approach To Reliable Distributed Computing,\" Ph.D. Thesis, Technical Report MIT\/LCS\/TR-260, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., April 1981. Also, published by MIT Press, March 1985."},{"key":"3_CR18","unstructured":"Perl, S., \"Distributed Commit Protocols for Nested Atomic Actions,\" M.S. Thesis, M.I.T. September 1987."},{"volume-title":"Guide to the Camelot Distributed Transaction Facility: Release 1","year":"1987","key":"3_CR19","unstructured":"Spector, A., and Swedlow, K. (eds), \"Guide to the Camelot Distributed Transaction Facility: Release 1,\" Carnegie Mellon University, Pittsburgh, PA., October 1987."},{"key":"3_CR20","series-title":"Technical Report","volume-title":"Naming and Synchronization in a Decentralized Computer System","author":"D. P. Reed","year":"1978","unstructured":"Reed, D. P., \"Naming and Synchronization in a Decentralized Computer System,\" Ph.D Thesis, Technical Report MIT\/LCS\/TR-205, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., September 1978."},{"key":"3_CR21","series-title":"Technical Report","volume-title":"Specification and Implementation of Atomic Data Types","author":"W. Weihl","year":"1984","unstructured":"Weihl, W., \"Specification and Implementation of Atomic Data Types,\" Ph.D. Thesis, Technical Report MIT\/LCS\/TR-314, Laboratory for Computer Science, Massachusetts Institute of Technology, Cambridge, MA., March 1984."}],"container-title":["Lecture Notes in Computer Science","ICDT '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50171-1_3.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:45:30Z","timestamp":1742589930000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50171-1_3"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1983]]},"ISBN":["9783540501718","9783540459439"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-50171-1_3","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1983]]}}}