Iain Phillips

Publication Activity (10 Years)

Years Active: 1986-2022
Publications (10 Years): 14

Top Topics

Qualitative Spatial

Event Detection

Transactional Memory

Top Venues

J. Log. Algebraic Methods Program.

Math. Struct. Comput. Sci.

Publications

Eva Graversen, Iain Phillips, Nobuko Yoshida
-calculus. J. Log. Algebraic Methods Program. 124 (2022)
Ivan Lanese, Iain Phillips
Forward-Reverse Observational Equivalences in CCSK. RC (2021)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
-calculi. Inf. Comput. 275 (2020)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
Towards a Formal Account for Software Transactional Memory. RC (2020)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Event Structures for the Reversible Early Internal π-Calculus. RC (2020)
Hernán C. Melgratti, Claudio Antares Mezzina, Iain Phillips, G. Michele Pinna, Irek Ulidowski
Reversible Occurrence Nets and Causal Reversible Prime Event Structures. RC (2020)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Towards a categorical representation of reversible event structures. J. Log. Algebraic Methods Program. 104 (2019)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Event Structure Semantics of (controlled) Reversible CCS. RC (2018)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
A Parametric Framework for Reversible π-Calculi. CoRR (2018)
Doriana Medic, Claudio Antares Mezzina, Iain Phillips, Nobuko Yoshida
A Parametric Framework for Reversible Pi-Calculi. EXPRESS/SOS (2018)
Irek Ulidowski, Iain Phillips, Shoji Yuen
Reversing Event Structures. New Gener. Comput. 36 (3) (2018)
Eva Graversen, Iain Phillips, Nobuko Yoshida
Towards a Categorical Representation of Reversible Event Structures. PLACES@ETAPS (2017)
Iain Phillips, Irek Ulidowski
Reversibility and asymmetric conflict in event structures. J. Log. Algebraic Methods Program. 84 (6) (2015)
Tommi Pesu, Iain Phillips
Real-Time Methods in Reversible Computation. RC (2015)
Iain Phillips, Irek Ulidowski
Event Identifier Logic. Math. Struct. Comput. Sci. 24 (2) (2014)
Irek Ulidowski, Iain Phillips, Shoji Yuen
Concurrency and Reversibility. RC (2014)
Iain Phillips, Irek Ulidowski
Reversibility and Asymmetric Conflict in Event Structures. CONCUR (2013)
Iain Phillips, Irek Ulidowski, Shoji Yuen
Modelling of Bonding with Processes and Events. RC (2013)
Iain Phillips, Irek Ulidowski
A hierarchy of reverse bisimulations on stable configuration structures. Math. Struct. Comput. Sci. 22 (2) (2012)
Iain Phillips, Irek Ulidowski, Shoji Yuen
A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway. RC (2012)
Iain Phillips, Irek Ulidowski
A Logic with Reverse Modalities for History-preserving Bisimulations EXPRESS (2011)
Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski
Semantics and expressiveness of ordered SOS. Inf. Comput. 207 (2) (2009)
Iain Phillips
CCS with priority guards. J. Log. Algebraic Methods Program. 75 (1) (2008)
Iain Phillips, Maria Grazia Vigliotti
Symmetric electoral systems for ambient calculi. Inf. Comput. 206 (1) (2008)
Iain Phillips, Irek Ulidowski
Reversibility and Models for Concurrency. Electron. Notes Theor. Comput. Sci. 192 (1) (2007)
Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
Tutorial on separation results in process calculi via leader election problems. Theor. Comput. Sci. 388 (1-3) (2007)
Bjørn Haagensen, Sergio Maffeis, Iain Phillips
Matching Systems for Concurrent Calculi. EXPRESS (2007)
Iain Phillips, Maria Grazia Vigliotti
Leader election in rings of ambient processes. Theor. Comput. Sci. 356 (3) (2006)
Roberto M. Amadio, Iain Phillips
Preface. EXPRESS (2006)
Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi
Separation Results Via Leader Election Problems. FMCO (2005)
Sergio Maffeis, Iain Phillips
On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330 (3) (2005)
Iain Phillips, Maria Grazia Vigliotti
Leader Election in Rings of Ambient Processes. EXPRESS (2004)
Iain Phillips, Maria Grazia Vigliotti
Electoral Systems in Ambient Calculi. FoSSaCS (2004)
Sergio Maffeis, Iain Phillips
On the Computational Strength of Pure Ambient Calculi. EXPRESS (2003)
Iain Phillips, Maria Grazia Vigliotti
On Reduction Semantics for the Push and Pull Ambitent Calculus. IFIP TCS (2002)
Maria Grazia Vigliotti, Iain Phillips
Barbs and Congruences for Safe Mobile Ambients. Electron. Notes Theor. Comput. Sci. 66 (3) (2002)
Iain Phillips
CCS with Priority Guards. CONCUR (2001)
Iain Phillips
A Note on Expressiveness of Process Algebra. Theory and Formal Methods (1993)
Marta Z. Kwiatkowska, Iain Phillips
Concurrency and Conflict in CSP. Theory and Formal Methods (1993)
Iain Phillips
Refusal Testing. Theor. Comput. Sci. 50 (1987)
Iain Phillips
Refusal Testing. ICALP (1986)