Go home now Header Background Image
Submission Procedure
share: |
Follow us
Volume 11

Content of Issue 5
DOI: 10.3217/jucs-011-05
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J. Burton, C. B. Jones 634
The Atomic Manifesto C. B. Jones, D. Lomet, A. Romanovsky, G. Weikum 636
Atomicity as a First-Class System Provision J.E.B. Moss, R. Rajwar 651
Investigating Atomicity and Observability J. Burton, C. B. Jones 661
On Atomicity and Software Development J. Kienzle 687
Replication: Understanding the Advantage of Atomic Broadcast over Quorum Systems R. Ekwall, A. Schiper 703
Precise Modelling of Compensating Business Transactions and its Application to BPEL M. Butler, C. Ferreira, M.Y. Ng 712
Formal Construction of a Non-blocking Concurrent Queue Algorithm J.-R. Abrial, D. Cansell 744
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism J. Burton 771