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
Emeritus Professor Maciej Koutny
| Relating communicating processes with different interfaces | 2004 |
|
Dr Jonathan Burton
Emeritus 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
Emeritus Professor Maciej Koutny
| Relating Communicating Processes with Different Interfaces | 2002 |
|
Dr Jonathan Burton
Emeritus Professor Maciej Koutny
Dr Marta Koutny
| Compositional Development in the Event of Interface Difference | 2001 |
|
Dr Jonathan Burton
Emeritus Professor Maciej Koutny
| Implementing Communicating Processes in the Event of Interface Difference | 2001 |
|
Dr Jonathan Burton
Emeritus Professor Maciej Koutny
| Verifying Implementation Relations in the Event of Interface Difference | 2001 |
|
Dr Jonathan Burton
Emeritus Professor Maciej Koutny
| Modelling and Verification of Communicating Processes in the Event of Interface Difference | 2000 |
|
