Iain C. C. Phillips

Publication Activity (10 Years)

Years Active: 1995-2023
Publications (10 Years): 6

Top Topics

Logical Structure

Theoretical Basis

Causal Knowledge

Top Venues

J. Log. Algebraic Methods Program.

Publications

Robert Glück, Ivan Lanese, Claudio Antares Mezzina, Jaroslaw Adam Miszczak, Iain C. C. Phillips, Irek Ulidowski, Germán Vidal
Towards a Taxonomy for Reversible Computation Approaches. RC (2023)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Theory for Reversible Computation. CoRR (2023)
Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida
Event structure semantics of (controlled) reversible CCS. J. Log. Algebraic Methods Program. 121 (2021)
Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Approach to Reversible Computation. FoSSaCS (2020)
Eva Graversen, Iain C. C. Phillips, Nobuko Yoshida
Event structures for the reversible early internal Pi-calculus. CoRR (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain C. C. Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Causal Nets and Reversible Event Structures. CoRR (2019)
Iain C. C. Phillips, Irek Ulidowski
Reverse Bisimulations on Stable Configuration Structures SOS (2009)
Iain C. C. Phillips, Irek Ulidowski
Reversing algebraic process calculi. J. Log. Algebraic Methods Program. 73 (1-2) (2007)
Jos C. M. Baeten, Iain C. C. Phillips
Preface. Theor. Comput. Sci. 386 (3) (2007)
Iain C. C. Phillips, Irek Ulidowski
Reversing Algebraic Process Calculi. FoSSaCS (2006)
Iain C. C. Phillips, Irek Ulidowski
Operational Semantics of Reversibility in Process Algebra. Electron. Notes Theor. Comput. Sci. 162 (2006)
Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski
The Meaning of Ordered SOS. FSTTCS (2006)
Jos C. M. Baeten, Iain C. C. Phillips
Preface. EXPRESS (2005)
Irek Ulidowski, Iain C. C. Phillips
Ordered SOS Process Languages for Branching and Eager Bisimulations. Inf. Comput. 178 (1) (2002)
Irek Ulidowski, Iain C. C. Phillips
Formats of Ordered SOS Rules with Silent Actions. TAPSOFT (1997)
Marta Kwiatkowska, Iain C. C. Phillips
Possible and Guaranteed Concurrency in CSP. STRICT (1995)