| Publication | Date of Publication | Type |
|---|
| Restructuring a concurrent refinement algebra | 2025-03-12 | Paper |
| Specifying and reasoning about shared-variable concurrency | 2024-02-28 | Paper |
Contextuality in distributed systems
Relational and Algebraic Methods in Computer Science | 2023-08-17 | Paper |
A formal semantics of the GraalVM intermediate representation
(available as arXiv preprint) | 2022-06-22 | Paper |
Software Specification
Theories of Programming | 2022-02-14 | Paper |
Encoding fairness in a synchronous concurrent program algebra
(available as arXiv preprint) | 2021-05-04 | Paper |
Convolution algebras: relational convolution, generalised modalities and incidence algebras
(available as arXiv preprint) | 2021-03-26 | Paper |
| Convolution algebras: relational convolution, generalised modalities and incidence algebras | 2021-03-26 | Paper |
| Cylindric Kleene lattices for program construction | 2020-05-05 | Paper |
| Developing an algebra for rely/guarantee concurrency: design decisions and challenges | 2020-02-18 | Paper |
An algebra of synchronous atomic steps
(available as arXiv preprint) | 2020-01-03 | Paper |
A synchronous program algebra: a basis for reasoning about shared-memory and event-based concurrency
Formal Aspects of Computing | 2019-05-10 | Paper |
Designing a semantic model for a wide-spectrum language with concurrency
Formal Aspects of Computing | 2017-11-29 | Paper |
Convolution as a Unifying Concept
ACM Transactions on Computational Logic | 2017-07-12 | Paper |
Possible values: exploring a concept for concurrency
Journal of Logical and Algebraic Methods in Programming | 2016-12-15 | Paper |
Generalised rely-guarantee concurrency: an algebraic foundation
Formal Aspects of Computing | 2016-10-28 | Paper |
Reasoning about goal-directed real-time teleo-reactive programs
Formal Aspects of Computing | 2016-08-05 | Paper |
Balancing expressiveness in formal approaches to concurrency
Formal Aspects of Computing | 2015-11-10 | Paper |
| Formal semantics for program paths | 2013-08-27 | Paper |
Don't care non-determinism in logic program refinement
Electronic Notes in Theoretical Computer Science | 2013-07-24 | Paper |
Preface
Formal Aspects of Computing | 2013-03-22 | Paper |
Towards an algebra for real-time programs
Relational and Algebraic Methods in Computer Science | 2012-09-21 | Paper |
Deriving Real-Time Action Systems Controllers from Multiscale System Specifications
Lecture Notes in Computer Science | 2012-09-05 | Paper |
Structural operational semantics through context-dependent behaviour
The Journal of Logic and Algebraic Programming | 2011-09-12 | Paper |
A semantics for behavior trees using CSP with specification commands
Science of Computer Programming | 2011-07-18 | Paper |
Refinement of Higher-Order Logic Programs
Logic Based Program Synthesis and Transformation | 2011-03-04 | Paper |
Invariants and well-foundedness in program algebra
Lecture Notes in Computer Science | 2010-08-31 | Paper |
Reasoning about loops in total and general correctness
Unifying Theories of Programming | 2010-08-31 | Paper |
A timeband framework for modelling real-time systems
Real-Time Systems | 2010-08-13 | Paper |
Compositional action system derivation using enforced properties
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Unifying theories of programming that distinguish nontermination and abort
Lecture Notes in Computer Science | 2010-07-26 | Paper |
Continuous Action System Refinement
Lecture Notes in Computer Science | 2009-04-02 | Paper |
CSP with Hierarchical State
Lecture Notes in Computer Science | 2009-02-24 | Paper |
Probabilistic Choice in Refinement Algebra
Lecture Notes in Computer Science | 2008-08-28 | Paper |
Algebraic reasoning for probabilistic action systems and while-loops
Acta Informatica | 2008-08-19 | Paper |
Calculating modules in contextual logic program refinement
Theory and Practice of Logic Programming | 2008-01-21 | Paper |
Termination of Real-Time Programs: Definitely, Definitely Not, or Maybe
Unifying Theories of Programming | 2007-09-14 | Paper |
Procedures and parameters in the real-time program refinement calculus
Science of Computer Programming | 2007-01-11 | Paper |
A theory for execution-time derivation in real-time programs
Theoretical Computer Science | 2005-12-29 | Paper |
Program Development in Computational Logic
Lecture Notes in Computer Science | 2005-12-23 | Paper |
Linear approximation of execution-time constraints
Formal Aspects of Computing | 2005-02-08 | Paper |
| scientific article; zbMATH DE number 2088653 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2090022 (Why is no real title available?) | 2004-08-12 | Paper |
| scientific article; zbMATH DE number 2079811 (Why is no real title available?) | 2004-07-30 | Paper |
A refinement calculus for logic programs
Theory and Practice of Logic Programming | 2004-03-01 | Paper |
| scientific article; zbMATH DE number 1973216 (Why is no real title available?) | 2003-09-01 | Paper |
| scientific article; zbMATH DE number 1949613 (Why is no real title available?) | 2003-07-15 | Paper |
| scientific article; zbMATH DE number 1863389 (Why is no real title available?) | 2003-02-04 | Paper |
Reasoning about real-time repetitions: Terminating and nonterminating
Science of Computer Programming | 2002-10-16 | Paper |
An introduction to Real-Time Object-Z.
Formal Aspects of Computing | 2002-09-09 | Paper |
| scientific article; zbMATH DE number 1696506 (Why is no real title available?) | 2002-06-17 | Paper |
| scientific article; zbMATH DE number 1612486 (Why is no real title available?) | 2001-07-01 | Paper |
| Using theory interpretation to mechanise the reals in a theorem prover | 2001-05-08 | Paper |
A sequential real-time refinement calculus
Acta Informatica | 2001-04-17 | Paper |
| scientific article; zbMATH DE number 1487727 (Why is no real title available?) | 2001-03-04 | Paper |
| scientific article; zbMATH DE number 1487632 (Why is no real title available?) | 2000-08-10 | Paper |
| scientific article; zbMATH DE number 1303988 (Why is no real title available?) | 1999-11-02 | Paper |
| scientific article; zbMATH DE number 1304003 (Why is no real title available?) | 1999-06-17 | Paper |
| scientific article; zbMATH DE number 1303982 (Why is no real title available?) | 1999-06-17 | Paper |
Expressive power of specification languages
Formal Aspects of Computing | 1999-01-03 | Paper |
| scientific article; zbMATH DE number 1104390 (Why is no real title available?) | 1998-06-01 | Paper |
| scientific article; zbMATH DE number 1104376 (Why is no real title available?) | 1998-04-01 | Paper |
Supporting contexts in program refinement
Science of Computer Programming | 1997-10-26 | Paper |
Supporting module reuse in refinement
Science of Computer Programming | 1996-10-20 | Paper |
Specification by interface separation
Formal Aspects of Computing | 1995-12-05 | Paper |
Multi-relations in Z. A cross between multi-sets and binary relations
Acta Informatica | 1992-06-28 | Paper |
VDM and Z: A comparative case study
Formal Aspects of Computing | 1992-06-28 | Paper |
Corrigenda: laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Laws of programming
Communications of the ACM | 1987-01-01 | Paper |
Specification directed module testing
IEEE Transactions on Software Engineering | 1986-01-01 | Paper |
