{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T21:10:15Z","timestamp":1742591415613,"version":"3.40.2"},"publisher-location":"Berlin, Heidelberg","reference-count":32,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540503026"},{"type":"electronic","value":"9783540459651"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-50302-1_14","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:19:56Z","timestamp":1330201196000},"page":"193-208","source":"Crossref","is-referenced-by-count":1,"title":["Reasoning about atomic objects"],"prefix":"10.1007","author":[{"given":"Maurice P.","family":"Herlihy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jeannette M.","family":"Wing","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,28]]},"reference":[{"issue":"3","key":"14_CR1","doi-asserted-by":"publisher","first-page":"359","DOI":"10.1145\/357103.357110","volume":"2","author":"K. R. Apt","year":"1980","unstructured":"K.R. Apt, N. Francez, and W.P. De Roever. A Proof System for Communicating Sequential Processes. ACM Transactions on Programming Languages and Systems 2(3):359\u2013385, July, 1980.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"2","key":"14_CR2","doi-asserted-by":"publisher","first-page":"185","DOI":"10.1145\/356842.356846","volume":"13","author":"P. A. Bernstein","year":"1981","unstructured":"P.A. Bernstein and N. Goodman. A survey of techniques for synchronization and recovery in decentralized computer systems. ACM Computing Surveys 13(2):185\u2013222, June, 1981.","journal-title":"ACM Computing Surveys"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1007\/BF00289593","volume":"16","author":"E. Best","year":"1981","unstructured":"E. Best and B. Randell. A Formal Model of Atomicity in Asynchronous Systems. Acta Informatica 16(1):93\u2013124, 1981.","journal-title":"Acta Informatica"},{"key":"14_CR4","unstructured":"G. Dixon and S.K. Shrivastava. Exploiting Type Inheritance Facilities to Implement Recoverability in Object Based Systems. In Proceedings of the 6th Symposium in Reliability in Distributed Software and Database Systems. March, 1987."},{"issue":"11","key":"14_CR5","doi-asserted-by":"publisher","first-page":"624","DOI":"10.1145\/360363.360369","volume":"19","author":"K. P. Eswaran","year":"1976","unstructured":"K.P. Eswaran, J.N. Gray, R.A. Lorie, and I.L. Traiger. The Notion of Consistency and Predicate Locks in a Database System. Communications ACM 19(11):624\u2013633, November, 1976.","journal-title":"Communications ACM"},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"J.E. Richardson and M.J. Carey. Programming Constructs for Database System Implementation in EXODUS. In ACM SIGMOD 1987 Annual Conference, pages 208\u2013219. May, 1987.","DOI":"10.1145\/38713.38738"},{"key":"14_CR7","unstructured":"M.P. Herlihy, N.A. Lynch, M. Merritt, and W.E. Weihl. On the correctness of orphan elimination algorithms. In 17th Symposium on Fault-Tolerant Computer Systems. July, 1987. Abbreviated version of MIT\/LCS\/TM-329."},{"key":"14_CR8","doi-asserted-by":"crossref","unstructured":"I. Greif, R. Seliger, and W.E. Weihl. Atomic Data Abstractions in a Distributed Collaborative Editing System. In Proceedings of the 13th Annual ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pages 160\u2013172. January, 1986.","DOI":"10.1145\/512644.512659"},{"key":"14_CR9","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4612-5983-1","volume-title":"The Science of Programming","author":"D. Gries","year":"1981","unstructured":"D. Gries. The Science of Programming. Spinger-Verlag, New York, 1981."},{"issue":"5","key":"14_CR10","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1109\/MS.1985.231756","volume":"2","author":"J. V. Guttag","year":"1985","unstructured":"J.V. Guttag, J.J. Horning, and J.M. Wing. The Larch Family of Specification Languages. IEEE Software 2(5):24\u201336, September, 1985.","journal-title":"IEEE Software"},{"key":"14_CR11","doi-asserted-by":"crossref","unstructured":"M.P. Herlihy. A quorum-consensus replication method for abstract data types. ACM Transactions on Computer Systems 4(1), February, 1986.","DOI":"10.1145\/6306.6308"},{"key":"14_CR12","doi-asserted-by":"crossref","unstructured":"M.P. Herlihy and J.M. Wing. Avalon: Language Support for Reliable Distributed Systems. In The Seventeenth International Symposium on Fault-Tolerant Computing, pages 89\u201394. July, 1987. Also available as CMU-CS-TR-86-167.","DOI":"10.1145\/41840.41854"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"M.P. Herlihy and J.M. Wing. Axioms for concurrent objects. In Fourteenth ACM Symposium on Principles of Programming Languages, pages 13\u201326. January, 1987.","DOI":"10.21236\/ADA200584"},{"issue":"10","key":"14_CR14","doi-asserted-by":"publisher","first-page":"576","DOI":"10.1145\/363235.363259","volume":"12","author":"C. A. R. R. Hoare","year":"1969","unstructured":"C.A.R. Hoare. An Axiomatic Basis for Computer Programming. Communications of the ACM 12(10):576\u2013583, October, 1969.","journal-title":"Communications of the ACM"},{"issue":"1","key":"14_CR15","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1007\/BF00289507","volume":"1","author":"C. A. R. R. Hoare","year":"1972","unstructured":"C.A.R. Hoare. Proof of Correctness of Data Representations. Acta Informatica 1(1):271\u2013281, 1972.","journal-title":"Acta Informatica"},{"key":"14_CR16","unstructured":"J. Hooman and W.-P. de Roever. The Quest Goes On: A Survey of Proof Systems For Partial Correctness of CSP. Lecture Notes in Computer Science 224: Current Trends in Concurrency. Springer-Verlag, 1986, pages 343\u2013395."},{"issue":"7","key":"14_CR17","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L. Lamport","year":"1978","unstructured":"L. Lamport. Time, clocks, and the ordering of events in a distributed system. Communications of the ACM 21(7):558\u2013565, July, 1978.","journal-title":"Communications of the ACM"},{"issue":"2","key":"14_CR18","doi-asserted-by":"publisher","first-page":"190","DOI":"10.1145\/69624.357207","volume":"5","author":"L. Lamport","year":"1983","unstructured":"L. Lamport. Specifying Concurrent Program Modules. ACM Transactions on Programming Languages and Systems 5(2):190\u2013222, April, 1983.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"issue":"3","key":"14_CR19","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1145\/2166.357215","volume":"5","author":"B. H. Liskov","year":"1983","unstructured":"B.H. Liskov, and R. Scheifler. Guardians and actions: linguistic support for robust, distributed programs. Transactions on Programming Languages and Systems 5(3):381\u2013404, July, 1983.","journal-title":"Transactions on Programming Languages and Systems"},{"key":"14_CR20","unstructured":"B.H. Liskov and J.V. Guttag. Abstraction and Specification in Program Development. The MIT Press, 1986."},{"key":"14_CR21","unstructured":"N. Lynch. A Concurrency Control For Resilient Nested Transactions. Technical Report MIT\/LCS\/TR-285, Laboratory for Computer Science, 1985."},{"key":"14_CR22","doi-asserted-by":"crossref","unstructured":"N. Lynch and M. Merritt. Introduction to the Theory of Nested Transactions. In Proceedings of the International Conference on Database Theory. Rome, Italy, September, 1986. Sponsored by EATCS and IEEE.","DOI":"10.1007\/3-540-17187-8_42"},{"key":"14_CR23","doi-asserted-by":"crossref","unstructured":"Z. Manna and A. Pnueli. Verification of concurrent Programs, Part I: The Temporal Framework. Technical Report STAN-CS-81-836, Dept. of Computer Science, Stanford University, June, 1981.","DOI":"10.21236\/ADA106750"},{"key":"14_CR24","unstructured":"J.E.B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. Technical Report MIT\/LCS\/TR-260, Laboratory for Computer Science, April, 1981."},{"issue":"5","key":"14_CR25","doi-asserted-by":"crossref","first-page":"279","DOI":"10.1145\/360051.360224","volume":"19","author":"S. Owicki","year":"1976","unstructured":"S. Owicki and D. Gries. Verifying Properties of Parallel Programs: An Axiomatic Approach. Communications of the ACM 19(5):279\u2013285, May, 1976.","journal-title":"Communications of the ACM"},{"issue":"4","key":"14_CR26","doi-asserted-by":"publisher","first-page":"631","DOI":"10.1145\/322154.322158","volume":"26","author":"C. H. Papadimitriou","year":"1979","unstructured":"C.H. Papadimitriou. The serializability of concurrent database updates. Journal of the ACM 26(4):631\u2013653, October, 1979.","journal-title":"Journal of the ACM"},{"issue":"1","key":"14_CR27","doi-asserted-by":"publisher","first-page":"3","DOI":"10.1145\/357353.357355","volume":"1","author":"D. P. Reed","year":"1983","unstructured":"D.P. Reed. Implementing atomic actions on decentralized data. ACM Transactions on Computer Systems 1(1):3\u201323, February, 1983.","journal-title":"ACM Transactions on Computer Systems"},{"issue":"6","key":"14_CR28","doi-asserted-by":"crossref","first-page":"520","DOI":"10.1109\/TSE.1985.232244","volume":"11","author":"A. Z. Spector","year":"1985","unstructured":"A.Z. Spector, J. Butcher, D.S. Daniels, D.J. Duchamp, J.L. Eppinger, C.E. Fineman, A. Heddaya, and P.M. Schwarz. Support for Distributed Transactions in the TABS prototype. IEEE Transactions on Software Engineering 11(6):520\u2013530, June, 1985.","journal-title":"IEEE Transactions on Software Engineering"},{"key":"14_CR29","unstructured":"B. Stroustrup. The C++ Programming Language. Addison Wesley, 1986."},{"key":"14_CR30","unstructured":"W.E. Weihl. Specification and implementation of atomic data types. Technical Report TR-314, Massachusetts Institute of Technology Laboratory for Computer Science, March, 1984."},{"issue":"2","key":"14_CR31","doi-asserted-by":"publisher","first-page":"244","DOI":"10.1145\/3318.3319","volume":"7","author":"W. E. Weihl","year":"1985","unstructured":"W.E. Weihl, and B.H. Liskov. Implementation of resilient, atomic data types. ACM Transactions on Programming Languages and Systems 7(2):244\u2013270, April, 1985.","journal-title":"ACM Transactions on Programming Languages and Systems"},{"key":"14_CR32","unstructured":"C.T. Wilkes and R.J. LeBlanc. Rationale for the design of Aeolus: a systems programming language for an action\/object system. Technical Report GIT-ICS-86\/12, Georgia Inst. of Tech. School of Information and Computer Science, Dec. 1986."}],"container-title":["Lecture Notes in Computer Science","Formal Techniques in Real-Time and Fault-Tolerant Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-50302-1_14.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,21]],"date-time":"2025-03-21T20:45:50Z","timestamp":1742589950000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-50302-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540503026","9783540459651"],"references-count":32,"URL":"https:\/\/doi.org\/10.1007\/3-540-50302-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}