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: 304 | Total: 380  | 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: 326 | Total: 374  | 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: 266 | Total: 309  | Access Period:
 634-635
HTML
XML
PDF

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

OK