Author

Profile picture
Jon Burton
University of Newcastle upon Tyne
United Kingdom
3 articles by this author
Sort by:
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: 420 | Total: 512  | Access Period:
 771-802
HTML
XML
PDF
Research Article
Investigating Atomicity and Observability
Jon Burton, Cliff Jones
10.3217/jucs-011-05-0661
 28-05-2005
 Unique: 444 | Total: 516  | Access Period:
 661-686
HTML
XML
PDF
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: 387 | Total: 446  | Access Period:
 634-635
HTML
XML
PDF

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

OK