Refusal Testing. - Iain Phillips 001 (Theor. Comput. Sci., 1987)

Concurrency and Conflict in CSP. - Marta Z. Kwiatkowska; Iain Phillips 001 (Theory and Formal Methods, 1993)

A Note on Expressiveness of Process Algebra. - Iain Phillips 001 (Theory and Formal Methods, 1993)

Possible and Guaranteed Concurrency in CSP. - Marta Kwiatkowska; Iain C. C. Phillips (STRICT, 1995)

Formats of Ordered SOS Rules with Silent Actions. - Irek Ulidowski; Iain C. C. Phillips (TAPSOFT, 1997)

On Reduction Semantics for the Push and Pull Ambitent Calculus. - Iain Phillips 001; Maria Grazia Vigliotti (IFIP TCS, 2002)

Barbs and Congruences for Safe Mobile Ambients. - Maria Grazia Vigliotti; Iain Phillips 001 (F-WAN@ICALP, 2002)

Ordered SOS Process Languages for Branching and Eager Bisimulations. - Irek Ulidowski; Iain C. C. Phillips (Inf. Comput., 2002)

Electoral Systems in Ambient Calculi. - Iain Phillips 001; Maria Grazia Vigliotti (FoSSaCS, 2004)

Separation Results Via Leader Election Problems. - Maria Grazia Vigliotti; Iain Phillips 001; Catuscia Palamidessi (FMCO, 2005)

Operational Semantics of Reversibility in Process Algebra. - Iain C. C. Phillips; Irek Ulidowski (APC 25, 2005)

On the computational strength of pure ambient calculi. - Sergio Maffeis; Iain Phillips 001 (Theor. Comput. Sci., 2005)

The Meaning of Ordered SOS. - Mohammad Reza Mousavi 001; Iain C. C. Phillips; Michel A. Reniers; Irek Ulidowski (FSTTCS, 2006)

Preface. - Roberto M. Amadio; Iain Phillips 001 (EXPRESS, 2006)

Leader election in rings of ambient processes. - Iain Phillips 001; Maria Grazia Vigliotti (Theor. Comput. Sci., 2006)

Matching Systems for Concurrent Calculi. - Bjørn Haagensen; Sergio Maffeis; Iain Phillips 001 (EXPRESS, 2007)

Reversibility and Models for Concurrency. - Iain Phillips 001; Irek Ulidowski (SOS@LICS/ICALP, 2007)

Reversing algebraic process calculi. - Iain C. C. Phillips; Irek Ulidowski (J. Log. Algebraic Methods Program., 2007)

Preface. - Jos C. M. Baeten; Iain C. C. Phillips (Theor. Comput. Sci., 2007)

Tutorial on separation results in process calculi via leader election problems. - Maria Grazia Vigliotti; Iain Phillips 001; Catuscia Palamidessi (Theor. Comput. Sci., 2007)

Symmetric electoral systems for ambient calculi. - Iain Phillips 001; Maria Grazia Vigliotti (Inf. Comput., 2008)

CCS with priority guards. - Iain Phillips 001 (J. Log. Algebraic Methods Program., 2008)

Reverse Bisimulations on Stable Configuration Structures - Iain C. C. Phillips; Irek Ulidowski (SOS, 2009)

Semantics and expressiveness of ordered SOS. - Mohammad Reza Mousavi 001; Iain Phillips 001; Michel A. Reniers; Irek Ulidowski (Inf. Comput., 2009)

A Logic with Reverse Modalities for History-preserving Bisimulations - Iain Phillips 001; Irek Ulidowski (EXPRESS, 2011)

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. - Iain Phillips 001; Irek Ulidowski; Shoji Yuen (RC, 2012)

A hierarchy of reverse bisimulations on stable configuration structures. - Iain Phillips 001; Irek Ulidowski (Math. Struct. Comput. Sci., 2012)

Modelling of Bonding with Processes and Events. - Iain Phillips 001; Irek Ulidowski; Shoji Yuen (RC, 2013)

Concurrency and Reversibility. - Irek Ulidowski; Iain Phillips 001; Shoji Yuen (RC, 2014)

Event Identifier Logic. - Iain Phillips 001; Irek Ulidowski (Math. Struct. Comput. Sci., 2014)

Real-Time Methods in Reversible Computation. - Tommi Pesu; Iain Phillips 001 (RC, 2015)

Reversibility and asymmetric conflict in event structures. - Iain Phillips 001; Irek Ulidowski (J. Log. Algebraic Methods Program., 2015)

Towards a Categorical Representation of Reversible Event Structures. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (PLACES@ETAPS, 2017)

A Parametric Framework for Reversible π-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (CoRR, 2018)

A Parametric Framework for Reversible Pi-Calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (EXPRESS/SOS, 2018)

Reversing Event Structures. - Irek Ulidowski; Iain Phillips 001; Shoji Yuen (New Gener. Comput., 2018)

Reversible Causal Nets and Reversible Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain C. C. Phillips; G. Michele Pinna; Irek Ulidowski (CoRR, 2019)

An Axiomatic Approach to Reversible Computation. - Ivan Lanese; Iain C. C. Phillips; Irek Ulidowski (FoSSaCS, 2020)

Event Structures for the Reversible Early Internal π-Calculus. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

Towards a Formal Account for Software Transactional Memory. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (RC, 2020)

Reversible Occurrence Nets and Causal Reversible Prime Event Structures. - Hernán C. Melgratti; Claudio Antares Mezzina; Iain Phillips 001; G. Michele Pinna; Irek Ulidowski (RC, 2020)

Event structures for the reversible early internal Pi-calculus. - Eva Graversen; Iain C. C. Phillips; Nobuko Yoshida (CoRR, 2020)

A parametric framework for reversible π-calculi. - Doriana Medic; Claudio Antares Mezzina; Iain Phillips 001; Nobuko Yoshida (Inf. Comput., 2020)

Foundations of Reversible Computation. - Bogdan Aman; Gabriel Ciobanu; Robert Glück; Robin Kaarsgaard; Jarkko Kari; Martin Kutrib; Ivan Lanese; Claudio Antares Mezzina; Lukasz Mikulski; Rajagopal Nagarajan; Iain C. C. Phillips; G. Michele Pinna; et al. (Selected Results of the COST Action IC1405, 2020)

Forward-Reverse Observational Equivalences in CCSK. - Ivan Lanese; Iain Phillips 001 (RC, 2021)

Event structure semantics of (controlled) reversible CCS. - Eva Graversen; Iain C. C. Phillips; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2021)

Event structures for the reversible early internal π-calculus. - Eva Graversen; Iain Phillips 001; Nobuko Yoshida (J. Log. Algebraic Methods Program., 2022)

Towards a Taxonomy for Reversible Computation Approaches. - Robert Glück; Ivan Lanese; Claudio Antares Mezzina; Jaroslaw Adam Miszczak; Iain C. C. Phillips; Irek Ulidowski; Germán Vidal (RC, 2023)

Dependence and Independence for Reversible Process Calculi. - Clément Aubert; Iain Phillips 001; Irek Ulidowski (CoRR, 2024)

An Axiomatic Theory for Reversible Computation. - Ivan Lanese; Iain C. C. Phillips; Irek Ulidowski (ACM Trans. Comput. Log., 2024)

Independence and Causality in the Reversible Concurrent Setting. - Clément Aubert; Iain C. C. Phillips; Irek Ulidowski (RC, 2025)