{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:39Z","timestamp":1750308939336,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"1","license":[{"start":{"date-parts":[[2005,3,1]],"date-time":"2005-03-01T00:00:00Z","timestamp":1109635200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":["SIGMOD Rec."],"published-print":{"date-parts":[[2005,3]]},"abstract":"<jats:p>\n            This paper is based on a five-day workshop on \"Atomicity in System Design and Execution\" that took place in Schloss Dagstuhl in Germany [5] in April 2004 and was attended by 32 people from different scientific communities. The participants included researchers from the four areas of\u2022\n            <jats:italic>database and transaction processing systems,<\/jats:italic>\n            \u2022\n            <jats:italic>fault tolerance and dependable systems,<\/jats:italic>\n            \u2022\n            <jats:italic>formal methods for system design and correctness reasoning, and<\/jats:italic>\n            \u2022 to a smaller extent,\n            <jats:italic>hardware architecture and programming languages.<\/jats:italic>\n          <\/jats:p>","DOI":"10.1145\/1058150.1058165","type":"journal-article","created":{"date-parts":[[2005,11,9]],"date-time":"2005-11-09T22:23:27Z","timestamp":1131575007000},"page":"63-69","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["The atomic manifesto"],"prefix":"10.1145","volume":"34","author":[{"given":"Cliff","family":"Jones","sequence":"first","affiliation":[]},{"given":"David","family":"Lomet","sequence":"additional","affiliation":[]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[]},{"given":"Gerhard","family":"Weikum","sequence":"additional","affiliation":[]},{"given":"Alan","family":"Fekete","sequence":"additional","affiliation":[]},{"given":"Marie-Claude","family":"Gaudel","sequence":"additional","affiliation":[]},{"given":"Henry F.","family":"Korth","sequence":"additional","affiliation":[]},{"given":"Rogerio","family":"de Lemos","sequence":"additional","affiliation":[]},{"given":"Eliot","family":"Moss","sequence":"additional","affiliation":[]},{"given":"Ravi","family":"Rajwar","sequence":"additional","affiliation":[]},{"given":"Krithi","family":"Ramamritham","sequence":"additional","affiliation":[]},{"given":"Brian","family":"Randell","sequence":"additional","affiliation":[]},{"given":"Luis","family":"Rodrigues","sequence":"additional","affiliation":[]}],"member":"320","published-online":{"date-parts":[[2005,3]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/236705"},{"key":"e_1_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1109\/TDSC.2004.2"},{"volume-title":"Conference on Autonomic Computing","year":"2004","key":"e_1_2_1_3_1","unstructured":"1st Int'l. Conference on Autonomic Computing . New York , 2004 . http:\/\/www.caip.rutgers.edu\/~parashar\/ac2004\/ 1st Int'l. Conference on Autonomic Computing. New York, 2004. http:\/\/www.caip.rutgers.edu\/~parashar\/ac2004\/"},{"key":"e_1_2_1_4_1","volume-title":"Morgan Kaufmann","author":"Bernstein P.","year":"1997","unstructured":"P. Bernstein and E. Newcomer . Principles of Transaction Processing for the Systems Professional . Morgan Kaufmann , 1997 . P. Bernstein and E. Newcomer. Principles of Transaction Processing for the Systems Professional. Morgan Kaufmann, 1997."},{"key":"e_1_2_1_5_1","unstructured":"Dagstuhl Seminar 04181. Atomicity in System Design and Execution. Organized by C. Jones D. Lomet A. Romanovsky G. Weikum http:\/\/www.dagstuhl.de\/04181\/  Dagstuhl Seminar 04181. Atomicity in System Design and Execution. Organized by C. Jones D. Lomet A. Romanovsky G. Weikum http:\/\/www.dagstuhl.de\/04181\/"},{"volume-title":"Workshops on Database Programming Languages, http:\/\/www.cs.toronto.edu\/ mendel\/dbpl.html","key":"e_1_2_1_6_1","unstructured":"Int'l. Workshops on Database Programming Languages, http:\/\/www.cs.toronto.edu\/ mendel\/dbpl.html Int'l. Workshops on Database Programming Languages, http:\/\/www.cs.toronto.edu\/ mendel\/dbpl.html"},{"key":"e_1_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/3149.214121"},{"key":"e_1_2_1_8_1","volume-title":"Morgan Kaufmann","author":"Gray J.","year":"1993","unstructured":"J. Gray and A. Reuter . Transaction Processing: Concepts and Techniques . Morgan Kaufmann , 1993 . J. Gray and A. Reuter. Transaction Processing: Concepts and Techniques. Morgan Kaufmann, 1993."},{"key":"e_1_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949340"},{"key":"e_1_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/165123.165164"},{"key":"e_1_2_1_11_1","volume-title":"Essays in Computing Science","author":"Hoare C. A. R.","year":"1989","unstructured":"C. A. R. Hoare , C. B. Jones . Essays in Computing Science . Prentice Hall International , 1989 . C. A. R. Hoare, C. B. Jones. Essays in Computing Science. Prentice Hall International, 1989."},{"key":"e_1_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/549927"},{"key":"e_1_2_1_13_1","volume-title":"Systematic Software Development using VDM","author":"Jones C. B.","year":"1990","unstructured":"C. B. Jones . Systematic Software Development using VDM . Prentice Hall , 1990 . C. B. Jones. Systematic Software Development using VDM. Prentice Hall, 1990."},{"key":"e_1_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1016\/S0020-0190(03)00383-1"},{"key":"e_1_2_1_15_1","volume-title":"Formal Language Description Languages for Computer Programming. North-Holland","author":"McCarthy J.","year":"1966","unstructured":"J. McCarthy . A formal description of a subset of ALGOL . In Formal Language Description Languages for Computer Programming. North-Holland , 1966 . J. McCarthy. A formal description of a subset of ALGOL. In Formal Language Description Languages for Computer Programming. North-Holland, 1966."},{"key":"e_1_2_1_16_1","volume-title":"Nested Transactions: An Approach to Reliable Distributed Computing","author":"Moss J. E. B.","year":"1985","unstructured":"J. E. B. Moss . Nested Transactions: An Approach to Reliable Distributed Computing . MIT Press , 1985 . J. E. B. Moss. Nested Transactions: An Approach to Reliable Distributed Computing. MIT Press, 1985."},{"key":"e_1_2_1_17_1","unstructured":"G. D. Plotkin. A structural approach to operational semantics. Journal of Functional and Logic Programming forthcoming.  G. D. Plotkin. A structural approach to operational semantics. Journal of Functional and Logic Programming forthcoming."},{"key":"e_1_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1109\/MM.2003.1261395"},{"key":"e_1_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/605397.605399"},{"key":"e_1_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1109\/TSE.1975.6312842"},{"key":"e_1_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/223982.224451"},{"key":"e_1_2_1_22_1","volume-title":"Distributed Systems for System Architects","author":"Verissimo P.","year":"2000","unstructured":"P. Verissimo , L. Rodrigues . Distributed Systems for System Architects . Kluwer , 2000 . P. Verissimo, L. Rodrigues. Distributed Systems for System Architects. Kluwer, 2000."},{"key":"e_1_2_1_23_1","volume-title":"Morgan Kaufmann","author":"Weikum G.","year":"2002","unstructured":"G. Weikum and G. Vossen . Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery . Morgan Kaufmann , 2002 . G. Weikum and G. Vossen. Transactional Information Systems: Theory, Algorithms, and the Practice of Concurrency Control and Recovery. Morgan Kaufmann, 2002."},{"key":"e_1_2_1_24_1","volume-title":"Proc. of the 25th Int'l. Symposium on Fault-Tolerant Computing Systems","author":"Xu J.","year":"1995","unstructured":"J. Xu , B. Randell , A. Romanovsky , C. Rubira , R. Stroud , Z. Wu . Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery . In Proc. of the 25th Int'l. Symposium on Fault-Tolerant Computing Systems , 1995 . J. Xu, B. Randell, A. Romanovsky, C. Rubira, R. Stroud, Z. Wu. Fault Tolerance in Concurrent Object-Oriented Software through Coordinated Error Recovery. In Proc. of the 25th Int'l. Symposium on Fault-Tolerant Computing Systems, 1995."}],"container-title":["ACM SIGMOD Record"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1058150.1058165","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1058150.1058165","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:37:02Z","timestamp":1750282622000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1058150.1058165"}},"subtitle":["a story in four quarks"],"short-title":[],"issued":{"date-parts":[[2005,3]]},"references-count":24,"journal-issue":{"issue":"1","published-print":{"date-parts":[[2005,3]]}},"alternative-id":["10.1145\/1058150.1058165"],"URL":"https:\/\/doi.org\/10.1145\/1058150.1058165","relation":{},"ISSN":["0163-5808"],"issn-type":[{"type":"print","value":"0163-5808"}],"subject":[],"published":{"date-parts":[[2005,3]]},"assertion":[{"value":"2005-03-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}