Login / Signup
Jon Burton
Publication Activity (10 Years)
Years Active: 2005-2005
Publications (10 Years): 0
</>
Publications
</>
Jon Burton
,
Cliff B. Jones
Investigating Atomicity and Observability.
J. Univers. Comput. Sci.
11 (5) (2005)
Jon Burton
,
Cliff B. Jones
Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue.
J. Univers. Comput. Sci.
11 (5) (2005)
Jon Burton
Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism.
J. Univers. Comput. Sci.
11 (5) (2005)