Concepedia

Iain Phillips

IP

Statistics

Publications

17

Citations

505

H-Index

13

Active since

1986

Affiliations

Imperial College London(Current)

University of Leicester

Iain Phillips is an author at Imperial College London specializing in computer science, engineering, and formal methods.

ORCID

Top concepts

Publications per year

1986–2021

17

Publications

17

Refusal testing

Iain Phillips · Theoretical Computer Science · 1987 · 152 citations

Reversibility and Models for Concurrency

Iain Phillips, Irek Ulidowski · Electronic Notes in Theoretical Computer Science · 2007 · 52 citations · Full text

Reversibility and asymmetric conflict in event structures

Iain Phillips, Irek Ulidowski · Journal of Logical and Algebraic Methods in Programming · 2015 · 45 citations

, , +4

On the computational strength of pure ambient calculi

Sergio Maffeis, Iain Phillips · Theoretical Computer Science · 2004 · 36 citations · Full text

, , +9

Tutorial on separation results in process calculi via leader election problems

Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi · Theoretical Computer Science · 2007 · 27 citations · Full text

, , +2

1–5 of 17