Jon Burton

List of publications from the DBLP Bibliography Server - FAQ

Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

2005

3 EE Jon Burton, Cliff B. Jones: Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. UCS 11(5): 634-635 (2005)

2 EE Jon Burton, Cliff B. Jones: Investigating Atomicity and Observability. J. UCS 11(5): 661-686 (2005)

1 EE Jon Burton: Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism. J. UCS 11(5): 771-802 (2005)

2005
3	EE	Jon Burton, Cliff B. Jones: Atomicity in System Design and Execution (Proceedings of Dagstuhl-Seminar 04181) J.UCS Special Issue. J. UCS 11(5): 634-635 (2005)
2	EE	Jon Burton, Cliff B. Jones: Investigating Atomicity and Observability. J. UCS 11(5): 661-686 (2005)
1	EE	Jon Burton: Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism. J. UCS 11(5): 771-802 (2005)

Coauthor Index

1 Cliff B. Jones [2] [3]