Follow
Iain Phillips
Iain Phillips
Senior Lecturer, Department of Computing, Imperial College London
Verified email at imperial.ac.uk - Homepage
Title
Cited by
Cited by
Year
Refusal testing
I Phillips
Theoretical Computer Science 50 (3), 241-284, 1987
2561987
Reversing algebraic process calculi
I Phillips, I Ulidowski
The Journal of Logic and Algebraic Programming 73 (1-2), 70-96, 2007
1622007
A reversible process calculus and the modelling of the ERK signalling pathway
I Phillips, I Ulidowski, S Yuen
Reversible Computation: 4th International Workshop, RC 2012, Copenhagen …, 2013
952013
Reversibility and asymmetric conflict in event structures
I Phillips, I Ulidowski
Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015
622015
Reversibility and models for concurrency
I Phillips, I Ulidowski
Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007
592007
On the computational strength of pure ambient calculi
S Maffeis, I Phillips
Theoretical Computer Science 330 (3), 501-551, 2005
572005
Reversing algebraic process calculi
I Phillips, I Ulidowski
International Conference on Foundations of Software Science and Computation …, 2006
472006
Ordered SOS process languages for branching and eager bisimulations
I Ulidowski, I Phillips
Information and Computation 178 (1), 180-213, 2002
472002
On the computational strength of pure ambient calculi
S Maffeis, I Phillips
Theoretical Computer Science 330 (3), 501-551, 2005
382005
On reduction semantics for the push and pull ambient calculus
I Phillips, MG Vigliotti
Foundations of Information Technology in the Era of Network and Mobile …, 2002
372002
An axiomatic approach to reversible computation
I Lanese, I Phillips, I Ulidowski
FoSSaCS 2020-23rd International Conference on Foundations of Software …, 2020
342020
Concurrency and reversibility
I Ulidowski, I Phillips, S Yuen
International Conference on Reversible Computation, 1-14, 2014
332014
Modelling of bonding with processes and events
I Phillips, I Ulidowski, S Yuen
Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013
332013
A logic with reverse modalities for history-preserving bisimulations
I Phillips, I Ulidowski
arXiv preprint arXiv:1108.4470, 2011
332011
CCS with priority guards
I Phillips
The Journal of Logic and Algebraic Programming 75 (1), 139-165, 2008
322008
Event structure semantics of (controlled) reversible CCS
E Graversen, I Phillips, N Yoshida
Journal of Logical and Algebraic Methods in Programming 121, 100686, 2021
312021
Electoral systems in ambient calculi
I Phillips, MG Vigliotti
International Conference on Foundations of Software Science and Computation …, 2004
312004
Foundations of reversible computation
B Aman, G Ciobanu, R Glück, R Kaarsgaard, J Kari, M Kutrib, I Lanese, ...
Reversible Computation: Extending Horizons of Computing: Selected Results of …, 2020
272020
Tutorial on separation results in process calculi via leader election problems
MG Vigliotti, I Phillips, C Palamidessi
Theoretical Computer Science 388 (1-3), 267-289, 2007
262007
CCS with priority guards
I Phillips
International Conference on Concurrency Theory, 305-320, 2001
262001
The system can't perform the operation now. Try again later.
Articles 1–20