Jon Burton
Timeline
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
On csauthors.net:
Bibliography
2005
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue.
J. Univers. Comput. Sci., 2005
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism.
J. Univers. Comput. Sci., 2005