Iain C. C. Phillips

Publication Activity (10 Years)

Years Active: 1995-2024
Publications (10 Years): 7

Top Topics

Causal Knowledge

Cellular Automata

Internal Structures

Top Venues

J. Log. Algebraic Methods Program.

ACM Trans. Comput. Log.

Publications

Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski
An Axiomatic Theory for Reversible Computation. ACM Trans. Comput. Log. 25 (2) (2024)
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)