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 |