This paper 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 and was attended by 32 people from different scientific communities. The participants included researchers from the four areas of 1. database and transaction processing systems, 2. fault tolerance and dependable systems, 3. formal methods for system design and correctness reasoning, and 4. to a smaller extent, hardware architecture and programming languages.
展开▼