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

Jon Burton
University of Newcastle upon Tyne, UK

J. Burton, C. B. Jones:
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181)
page 634 - 635
Vol.11 / Issue 5
J. Burton, C. B. Jones:
Investigating Atomicity and Observability
page 661 - 686
Vol.11 / Issue 5
J. Burton:
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism
page 771 - 802
Vol.11 / Issue 5