Responsiveness and stable revivals.
Formal Aspects Comput., 2007
Machine-Verifiable Responsiveness.
Proceedings of the 5th International Workshop on Automated Verification of Critical Systems, 2005
Responsiveness of interoperating components.
Formal Aspects Comput., 2004
Motivating Study of Formal Methods in the Classroom.
Proceedings of the Teaching Formal Methods, CoLogNET/FME Symposium, 2004
Combining Independent Specifications.
Proceedings of the Fundamental Approaches to Software Engineering, 2001
Refinement-Preserving Plug-In Components.
Proceedings of the First Irish Conference on the Mathematical Foundations of Computer Science and Information Technology, 2000
Routing - A Challenge to Formal Methods.
Proceedings of the International Conference on Parallel and Distributed Processing Techniques and Applications, 1999
Verifying End-to-End Protocols using Induction with CSP/FDR.
Proceedings of the Parallel and Distributed Processing, 1999
Deductive Reasoning versus Model Checking: Two Formal Approaches for System Development.
Proceedings of the Integrated Formal Methods, 1999
Automated Formal Analysis of Networks: FDR Models of Arbitrary Topologies and Flow-Control Mechanisms.
Proceedings of the Fundamental Approaches to Software Engineering, 1998
Formal Methods and Industrial-Strength Computer Networks.
Proceedings of the Requirements Targeting Software and Systems Engineering, 1997
Portability, predictability and performance for parallel computing: BSP in practice.
Concurr. Pract. Exp., 1996
A Rely and Guarantee Method for Timed CSP: A Specification and Design of a Telephone Exchange.
IEEE Trans. Software Eng., 1993
Timed CSP: Theory and Practice.
Proceedings of the Real-Time: Theory in Practice, 1991