{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:41:50Z","timestamp":1750308110373,"version":"3.41.0"},"reference-count":24,"publisher":"Association for Computing Machinery (ACM)","issue":"2","license":[{"start":{"date-parts":[[2005,4,1]],"date-time":"2005-04-01T00:00:00Z","timestamp":1112313600000},"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":["SIGOPS Oper. Syst. Rev."],"published-print":{"date-parts":[[2005,4]]},"abstract":"<jats:p>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 database and transaction processing systems,\u2022 fault tolerance and dependable systems,\u2022 formal methods for system design and correctness reasoning, and\u2022 to a smaller extent, hardware architecture and programming languages.<\/jats:p>","DOI":"10.1145\/1055218.1055220","type":"journal-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T19:28:32Z","timestamp":1131391712000},"page":"41-46","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["The atomic manifesto"],"prefix":"10.1145","volume":"39","author":[{"given":"Cliff","family":"Jones","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Lomet","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alexander","family":"Romanovsky","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Gerhard","family":"Weikum","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alan","family":"Fekete","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Marie-Claude","family":"Gaudel","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Henry F.","family":"Korth","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rogerio","family":"de Lemos","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Eliot","family":"Moss","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ravi","family":"Rajwar","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Krithi","family":"Ramamritham","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Brian","family":"Randell","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Luis","family":"Rodrigues","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,4]]},"reference":[{"key":"e_1_2_1_1_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511624162","volume-title":"The B-Book","author":"Abrial J.-R.","year":"1996","unstructured":"J.-R. Abrial . The B-Book ; Assigning Programs to Meanings. Cambridge University Press , 1996 . J.-R. Abrial. The B-Book; Assigning Programs to Meanings. Cambridge University Press, 1996."},{"doi-asserted-by":"publisher","key":"e_1_2_1_2_1","DOI":"10.1109\/TDSC.2004.2"},{"key":"e_1_2_1_3_1","volume-title":"Conference on Autonomic Computing","author":"Int'l Ist","year":"2004","unstructured":"Ist Int'l , Conference on Autonomic Computing . New York , 2004 . http:\/\/www.caip.rutgers.edu\/~parashar\/ac2004\/ Ist 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."},{"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\/","key":"e_1_2_1_5_1"},{"volume-title":"Workshops on Database Programming Languages, http:\/\/www.cs.toronto.edu\/mendel\/dbpl.html","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_6_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_7_1","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."},{"doi-asserted-by":"publisher","key":"e_1_2_1_9_1","DOI":"10.1145\/949305.949340"},{"doi-asserted-by":"publisher","key":"e_1_2_1_10_1","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."},{"doi-asserted-by":"publisher","key":"e_1_2_1_12_1","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."},{"doi-asserted-by":"publisher","key":"e_1_2_1_14_1","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."},{"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_17_1"},{"doi-asserted-by":"publisher","key":"e_1_2_1_18_1","DOI":"10.1109\/MM.2003.1261395"},{"doi-asserted-by":"publisher","key":"e_1_2_1_19_1","DOI":"10.1145\/605397.605399"},{"doi-asserted-by":"publisher","key":"e_1_2_1_20_1","DOI":"10.1109\/TSE.1975.6312842"},{"doi-asserted-by":"publisher","key":"e_1_2_1_21_1","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 SIGOPS Operating Systems Review"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1055218.1055220","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1055218.1055220","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:08:11Z","timestamp":1750262891000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1055218.1055220"}},"subtitle":["a story in four quarks"],"short-title":[],"issued":{"date-parts":[[2005,4]]},"references-count":24,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2005,4]]}},"alternative-id":["10.1145\/1055218.1055220"],"URL":"https:\/\/doi.org\/10.1145\/1055218.1055220","relation":{},"ISSN":["0163-5980"],"issn-type":[{"type":"print","value":"0163-5980"}],"subject":[],"published":{"date-parts":[[2005,4]]},"assertion":[{"value":"2005-04-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}