| 2009 |
|---|
| 31 | EE | Mohammad Reza Mousavi,
Iain Phillips,
Michel A. Reniers,
Irek Ulidowski:
Semantics and expressiveness of ordered SOS.
Inf. Comput. 207(2): 85-119 (2009) |
| 2008 |
|---|
| 30 | EE | Bjørn Haagensen,
Sergio Maffeis,
Iain Phillips:
Matching Systems for Concurrent Calculi.
Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008) |
| 29 | EE | Iain Phillips,
Maria Grazia Vigliotti:
Symmetric electoral systems for ambient calculi.
Inf. Comput. 206(1): 34-72 (2008) |
| 28 | EE | Iain Phillips:
CCS with priority guards.
J. Log. Algebr. Program. 75(1): 139-165 (2008) |
| 2007 |
|---|
| 27 | EE | Mark Withall,
M. Shirantha de Silva,
David J. Parish,
Iain Phillips:
Honey Plotter and the Web of Terror.
ICCCN 2007: 1262-1266 |
| 26 | EE | Roberto M. Amadio,
Iain Phillips:
Preface.
Electr. Notes Theor. Comput. Sci. 175(3): 1-2 (2007) |
| 25 | EE | Iain Phillips,
Irek Ulidowski:
Reversibility and Models for Concurrency.
Electr. Notes Theor. Comput. Sci. 192(1): 93-108 (2007) |
| 24 | EE | Iain C. C. Phillips,
Irek Ulidowski:
Reversing algebraic process calculi.
J. Log. Algebr. Program. 73(1-2): 70-96 (2007) |
| 23 | EE | Jos C. M. Baeten,
Iain C. C. Phillips:
Preface.
Theor. Comput. Sci. 386(3): 167-168 (2007) |
| 22 | EE | Maria Grazia Vigliotti,
Iain Phillips,
Catuscia Palamidessi:
Tutorial on separation results in process calculi via leader election problems.
Theor. Comput. Sci. 388(1-3): 267-289 (2007) |
| 2006 |
|---|
| 21 | EE | Mohammad Reza Mousavi,
Iain C. C. Phillips,
Michel A. Reniers,
Irek Ulidowski:
The Meaning of Ordered SOS.
FSTTCS 2006: 333-344 |
| 20 | EE | Iain C. C. Phillips,
Irek Ulidowski:
Reversing Algebraic Process Calculi.
FoSSaCS 2006: 246-260 |
| 19 | EE | Jos C. M. Baeten,
Iain C. C. Phillips:
Preface.
Electr. Notes Theor. Comput. Sci. 154(3): 1-2 (2006) |
| 18 | EE | Iain C. C. Phillips,
Irek Ulidowski:
Operational Semantics of Reversibility in Process Algebra.
Electr. Notes Theor. Comput. Sci. 162: 281-286 (2006) |
| 17 | EE | Iain Phillips,
Maria Grazia Vigliotti:
Leader election in rings of ambient processes.
Theor. Comput. Sci. 356(3): 468-494 (2006) |
| 2005 |
|---|
| 16 | EE | Maria Grazia Vigliotti,
Iain Phillips,
Catuscia Palamidessi:
Separation Results Via Leader Election Problems.
FMCO 2005: 172-194 |
| 15 | EE | Iain Phillips,
Maria Grazia Vigliotti:
Leader Election in Rings of Ambient Processes.
Electr. Notes Theor. Comput. Sci. 128(2): 185-199 (2005) |
| 14 | EE | Sergio Maffeis,
Iain Phillips:
On the computational strength of pure ambient calculi.
Theor. Comput. Sci. 330(3): 501-551 (2005) |
| 2004 |
|---|
| 13 | EE | Iain Phillips,
Maria Grazia Vigliotti:
Electoral Systems in Ambient Calculi.
FoSSaCS 2004: 408-422 |
| 12 | EE | Sergio Maffeis,
Iain Phillips:
On the Computational Strength of Pure Ambient Calculi.
Electr. Notes Theor. Comput. Sci. 96: 29-49 (2004) |
| 2002 |
|---|
| 11 | | Iain Phillips,
Maria Grazia Vigliotti:
On Reduction Semantics for the Push and Pull Ambitent Calculus.
IFIP TCS 2002: 550-562 |
| 10 | EE | Maria Grazia Vigliotti,
Iain Phillips:
Barbs and Congruences for Safe Mobile Ambients.
Electr. Notes Theor. Comput. Sci. 66(3): (2002) |
| 9 | EE | Irek Ulidowski,
Iain C. C. Phillips:
Ordered SOS Process Languages for Branching and Eager Bisimulations.
Inf. Comput. 178(1): 180-213 (2002) |
| 2001 |
|---|
| 8 | EE | Iain Phillips:
CCS with Priority Guards.
CONCUR 2001: 305-320 |
| 7 | | John H. Connolly,
Iain Phillips:
User-System Interface Design.
Organizational Semiotics 2001: 119-132 |
| 2000 |
|---|
| 6 | EE | Iain Phillips,
Mark Sandford,
David J. Parish:
Processing network delay measurements into network events.
NOMS 2000: 955-956 |
| 1997 |
|---|
| 5 | | Irek Ulidowski,
Iain C. C. Phillips:
Formats of Ordered SOS Rules with Silent Actions.
TAPSOFT 1997: 297-308 |
| 1993 |
|---|
| 4 | | Marta Z. Kwiatkowska,
Iain Phillips:
Concurrency and Conflict in CSP.
Theory and Formal Methods 1993: 209-225 |
| 3 | | Iain Phillips:
A Note on Expressiveness of Process Algebra.
Theory and Formal Methods 1993: 260-264 |
| 1987 |
|---|
| 2 | | Iain Phillips:
Refusal Testing.
Theor. Comput. Sci. 50: 241-284 (1987) |
| 1986 |
|---|
| 1 | | Iain Phillips:
Refusal Testing.
ICALP 1986: 304-313 |
