Go home now Header Background Image
Search
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)
/jucs_11_5/atomicity_in_system_design
page 634 - 635
Vol.11 / Issue 5
J. Burton, C. B. Jones:
Investigating Atomicity and Observability
/jucs_11_5/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
/jucs_11_5/relaxing_atomicity_and_verifying
page 771 - 802
Vol.11 / Issue 5