Author

Profile picture
Jon Burton
University of Newcastle upon Tyne
United Kingdom
3 articles by this author
Sort by:
Relaxing Atomicity and Verifying Correctness: ...
Research Article
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism
Jon Burton
10.3217/jucs-011-05-0771
 28-05-2005
 Unique: 662 | Total: 850
 771-802
HTML
XML
PDF
Investigating Atomicity and Observability
Research Article
Investigating Atomicity and Observability
Jon Burton, Cliff Jones
10.3217/jucs-011-05-0661
 28-05-2005
 Unique: 749 | Total: 921
 661-686
HTML
XML
PDF
Atomicity in System Design and Execution ...
Editorial
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181)
Jon Burton, Cliff Jones
10.3217/jucs-011-05
 28-05-2005
 Unique: 656 | Total: 780
 634-635
HTML
XML
PDF

This website uses cookies in order to improve your web experience. Read our Cookies Policy

OK