| Refusal testing I Phillips Theoretical Computer Science 50 (3), 241-284, 1987 | 258 | 1987 |
| Reversing algebraic process calculi I Phillips, I Ulidowski The Journal of Logic and Algebraic Programming 73 (1-2), 70-96, 2007 | 172 | 2007 |
| 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 | 105 | 2013 |
| Reversibility and asymmetric conflict in event structures I Phillips, I Ulidowski Journal of Logical and Algebraic Methods in Programming 84 (6), 781-805, 2015 | 63 | 2015 |
| Reversibility and models for concurrency I Phillips, I Ulidowski Electronic Notes in Theoretical Computer Science 192 (1), 93-108, 2007 | 63 | 2007 |
| On the computational strength of pure ambient calculi S Maffeis, I Phillips Theoretical Computer Science 330 (3), 501-551, 2005 | 55 | 2005 |
| Reversing algebraic process calculi I Phillips, I Ulidowski International Conference on Foundations of Software Science and Computation …, 2006 | 50 | 2006 |
| Ordered SOS process languages for branching and eager bisimulations I Ulidowski, I Phillips Information and Computation 178 (1), 180-213, 2002 | 48 | 2002 |
| An axiomatic approach to reversible computation I Lanese, I Phillips, I Ulidowski FoSSaCS 2020-23rd International Conference on Foundations of Software …, 2020 | 40 | 2020 |
| 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 | 38 | 2002 |
| Event structure semantics of (controlled) reversible CCS E Graversen, I Phillips, N Yoshida Journal of Logical and Algebraic Methods in Programming 121, 100686, 2021 | 34 | 2021 |
| Modelling of bonding with processes and events I Phillips, I Ulidowski, S Yuen Reversible Computation: 5th International Conference, RC 2013, Victoria, BC …, 2013 | 34 | 2013 |
| 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 | 33 | 2020 |
| A logic with reverse modalities for history-preserving bisimulations I Phillips, I Ulidowski arXiv preprint arXiv:1108.4470, 2011 | 33 | 2011 |
| Concurrency and reversibility I Ulidowski, I Phillips, S Yuen International Conference on Reversible Computation, 1-14, 2014 | 32 | 2014 |
| CCS with priority guards I Phillips The Journal of Logic and Algebraic Programming 75 (1), 139-165, 2008 | 32 | 2008 |
| Electoral systems in ambient calculi I Phillips, MG Vigliotti International Conference on Foundations of Software Science and Computation …, 2004 | 31 | 2004 |
| Event identifier logic I Phillips, I Ulidowski Mathematical Structures in Computer Science 24 (2), e240204, 2014 | 28 | 2014 |
| A hierarchy of reverse bisimulations on stable configuration structures I Phillips, I Ulidowski Mathematical Structures in Computer Science 22 (2), 333-372, 2012 | 28 | 2012 |
| 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 | 27 | 2007 |
