The Atomic Manifesto
Cliff B. Jones (University of Newcastle upon Tyne, UK)
David Lomet (Microsoft Research, USA)
Alexander Romanovsky (University of Newcastle upon Tyne, UK)
Gerhard Weikum (MPI Saarbruecken, Germany)
Abstract: This paper is a manifesto for future research on "atomicity" in its many guises and is based on a five-day workshop on "Atomicity in System Design and Execution" that took place in Schloss Dagstuhl in Germany in April 2004.
Additional Authors: Dagstuhl Seminar, (Organizer Authors)
and Alan Fekete, Marie-Claude Gaudel, Henry F. Korth, Rogerio de Lemos, Eliot Moss, Ravi Rajwar, Krithi Ramamritham, Brian Randell, Luis Rodrigues, Dagstuhl Seminar, (Participant Authors).
Keywords: atomicity, dependability, formal methods, hardware, programming languages, transactions