I. Phillips

发表

Leader Election in Rings of Ambient Processes 1

M. Vigliotti, I. Phillips, 2005 .

Symmetric Electoral Systems for Ambient Calculi 1

M. Vigliotti, I. Phillips, 2007 .

Event structures for the reversible early internal π-calculus

I. Phillips, Eva Graversen, Nobuko Yoshida, 2022, J. Log. Algebraic Methods Program..

2 Previous Work on Linear-time Simulations

Tommi Pesu, I. Phillips, 2015 .

Refusal Testing

Iain Phillips, I. Phillips, 1986, Theoretical Computer Science.

Concurrency and Connict in Csp

M. Kwiatkowska, I. Phillips, 1993 .

Event Structure Semantics of (controlled) Reversible CCS

Nobuko Yoshida, Eva Graversen, Iain C. C. Phillips, 2018, RC.

ORDERED SOS RULES AND WEAK BISIMULATION(Concurrency Theory and Applications '96)

I. Ulidowski, I. Phillips, 1997 .

Partitions and homogeneous sets for admissible ordinals

E. Kranakis, I. Phillips, 1984 .

Refusal Testing

Iain Phillips, I. Phillips, 1986, Theor. Comput. Sci..

Ordered SOS process languages for branching and Eager bisimulation

Irek Ulidowski, Iain Phillips, I. Ulidowski, 2002 .

Formats of Ordered SOS Rules with Silent Actions

Iain C. C. Phillips, Irek Ulidowski, I. Ulidowski, 1997, TAPSOFT.

Ordered SOS Process Languages for Branching and Eager Bisimulations

Iain C. C. Phillips, Irek Ulidowski, I. Ulidowski, 2002, Inf. Comput..

Ordered Sos Rules And Weak Bisimulation

Iain Phillips, I. Phillips, 1996 .

Age and Old Age

J. Vincent, I. Phillips, 2006 .

Leader Election in Rings of Ambient Processes

Maria Grazia Vigliotti, Iain Phillips, M. Vigliotti, 2005, EXPRESS.

On the Computational Strength of Pure Ambient Calculi

Sergio Maffeis, Iain Phillips, S. Maffeis, 2004, EXPRESS.

An Axiomatic Approach to Reversible Computation

Ivan Lanese, Iain C. C. Phillips, Irek Ulidowski, 2020, FoSSaCS.

A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway

Irek Ulidowski, Shoji Yuen, Iain Phillips, 2012, RC.

Reversing algebraic process calculi

Iain C. C. Phillips, Irek Ulidowski, I. Ulidowski, 2006, J. Log. Algebraic Methods Program..

Barbs and Congruences for Safe Mobile Ambients

Maria Grazia Vigliotti, Iain Phillips, M. Vigliotti, 2002, F-WAN@ICALP.

CCS with priority guards

Iain Phillips, I. Phillips, 2001, J. Log. Algebraic Methods Program..

A Parametric Framework for Reversible π-Calculi

Nobuko Yoshida, Claudio Antares Mezzina, Doriana Medic, 2020, Inf. Comput..

Foundations of Reversible Computation

Robert Glück, Ivan Lanese, Jarkko Kari, 2020, Selected Results of the COST Action IC1405.

Tutorial on separation results in process calculi via leader election problems

Catuscia Palamidessi, Maria Grazia Vigliotti, Iain Phillips, 2007, Theor. Comput. Sci..

Operational Semantics of Reversibility in Process Algebra

Iain C. C. Phillips, Irek Ulidowski, I. Ulidowski, 2006, APC 25.

Separation Results Via Leader Election Problems

Catuscia Palamidessi, Maria Grazia Vigliotti, Iain Phillips, 2005, FMCO.

A Note on Expressiveness of Process Algebra

Iain Phillips, I. Phillips, 1993, Theory and Formal Methods.

Symmetric electoral systems for ambient calculi

Maria Grazia Vigliotti, Iain Phillips, M. Vigliotti, 2008, Inf. Comput..

A Logic with Reverse Modalities for History-preserving Bisimulations

Irek Ulidowski, Iain Phillips, I. Ulidowski, 2011, EXPRESS.

On Reduction Semantics for the Push and Pull Ambitent Calculus

Maria Grazia Vigliotti, Iain Phillips, M. Vigliotti, 2002, IFIP TCS.

Concurrency and Reversibility

Irek Ulidowski, Shoji Yuen, Iain Phillips, 2014, RC.

Modelling of Bonding with Processes and Events

Irek Ulidowski, Shoji Yuen, Iain Phillips, 2013, RC.

Event Identifier Logic†

Irek Ulidowski, Iain Phillips, I. Ulidowski, 2013, Mathematical Structures in Computer Science.

A hierarchy of reverse bisimulations on stable configuration structures

Irek Ulidowski, Iain Phillips, I. Ulidowski, 2012, Mathematical Structures in Computer Science.

Reverse Bisimulations on Stable Configuration Structures

Iain C. C. Phillips, Irek Ulidowski, I. Ulidowski, 2010, SOS.