| Publication | Date of Publication | Type |
|---|
Understanding, Explaining, and Deriving Refinement
From Astrophysics to Unconventional Computation | 2022-03-02 | Paper |
Editorial
Formal Aspects of Computing | 2022-01-11 | Paper |
| Refinement | 2018-11-30 | Paper |
Diversity and adjudication
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Introducing extra operations in refinement
Formal Aspects of Computing | 2016-08-05 | Paper |
Relational concurrent refinement. III: Traces, partial relations and automata
Formal Aspects of Computing | 2016-08-05 | Paper |
Relational concurrent refinement: automata
Electronic Notes in Theoretical Computer Science | 2016-08-01 | Paper |
More relational concurrent refinement: traces and partial relations
Electronic Notes in Theoretical Computer Science | 2014-03-26 | Paper |
| Unifying concurrent and relational refinement | 2013-08-19 | Paper |
Incompleteness of relational simulations in the blocking paradigm
Science of Computer Programming | 2010-11-25 | Paper |
The Logic of Large Enough
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Relational concurrent refinement. II: Internal operations and outputs
Formal Aspects of Computing | 2009-05-27 | Paper |
Modelling Divergence in Relational Concurrent Refinement
Lecture Notes in Computer Science | 2009-02-24 | Paper |
ZB 2005: Formal Specification and Development in Z and B
Lecture Notes in Computer Science | 2005-11-10 | Paper |
Algebraic Methodology and Software Technology
Lecture Notes in Computer Science | 2005-08-25 | Paper |
Relational concurrent refinement
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 2080002 (Why is no real title available?) | 2004-08-03 | Paper |
| scientific article; zbMATH DE number 2080003 (Why is no real title available?) | 2004-08-03 | Paper |
| scientific article; zbMATH DE number 1951183 (Why is no real title available?) | 2003-07-21 | Paper |
A formal framework for viewpoint consistency
Formal Methods in System Design | 2002-09-18 | Paper |
Combining component specifications in Object-Z and CSP.
Formal Aspects of Computing | 2002-09-09 | Paper |
| scientific article; zbMATH DE number 1860618 (Why is no real title available?) | 2002-01-01 | Paper |
| scientific article; zbMATH DE number 1615985 (Why is no real title available?) | 2001-07-10 | Paper |
| scientific article; zbMATH DE number 1612491 (Why is no real title available?) | 2001-07-01 | Paper |
| scientific article; zbMATH DE number 1569130 (Why is no real title available?) | 2001-02-22 | Paper |
Constructive consistency checking for partial specification in Z
Science of Computer Programming | 2000-11-22 | Paper |
| scientific article; zbMATH DE number 1487739 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1303985 (Why is no real title available?) | 1999-11-02 | Paper |
Strategies for consistency checking based on unification
Science of Computer Programming | 1999-03-30 | Paper |
Specifying and refining internal operations in \(Z\)
Formal Aspects of Computing | 1999-03-09 | Paper |
Improving recursive functions by inverting the order of evaluation
Science of Computer Programming | 1992-09-27 | Paper |
