Publications by Dr Jonathan Burton - ePrints

Browsing publications by Dr Jonathan Burton.

Newcastle Authors	Title	Year
Dr Jonathan Burton Emeritus Professor Cliff Jones	Atomicity in System Design and Execution	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Atomicity in system design and execution (Proceedings of Dagstuhl-Seminar 04181) - J. UCS Special Issue	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Investigating Atomicity and Observability	2005
Dr Jonathan Burton Emeritus Professor Cliff Jones	Investigating Atomicity and Observability	2005
Dr Jonathan Burton	Refinement-after-hiding: a small case study	2005
Dr Jonathan Burton	Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism	2005
Dr Jonathan Burton	Relaxing Atomicity and Verifying Correctness: Considering the Case of an Asynchronous Communication Mechanism	2005
Dr Jonathan Burton	The Theory and Practice of Refinement-After-Hiding	2005
Dr Jonathan Burton	[PhD Thesis] The Theory and Practice of Refinement-After-Hiding	2004
Dr Jonathan Burton Professor Maciej Koutny	Relating communicating processes with different interfaces	2004
Dr Jonathan Burton Professor Maciej Koutny Dr Marta Koutny	Compositional Development in the Event of Interface Difference	2002
Dr Jonathan Burton	Compositional Verification of a Network of CSP Processes: Using FDR2 to Verify Refinement in the Event of Interface Difference	2002
Dr Jonathan Burton	Compositional Verification of a Network of CSP Processes: Using FDR2 to Verify Refinement in the Event of Interface Difference	2002
Dr Jonathan Burton Professor Maciej Koutny	Relating Communicating Processes with Different Interfaces	2002
Dr Jonathan Burton Professor Maciej Koutny Dr Marta Koutny	Compositional Development in the Event of Interface Difference	2001
Dr Jonathan Burton Professor Maciej Koutny	Implementing Communicating Processes in the Event of Interface Difference	2001
Dr Jonathan Burton Professor Maciej Koutny	Verifying Implementation Relations in the Event of Interface Difference	2001
Dr Jonathan Burton Professor Maciej Koutny	Modelling and Verification of Communicating Processes in the Event of Interface Difference	2000