Iain C. C. Phillips

Iain Phillips

	2009
33		Mohammad Reza Mousavi, Iain Phillips, Michel A. Reniers, Irek Ulidowski: Semantics and expressiveness of ordered SOS. Inf. Comput. 207(2): 85-119 (2009)
32		Irfan Awan, Lin Guan, Xin Gang Wang, Iain Phillips: Performance modelling and evaluation of telecommunication systems. Simulation Modelling Practice and Theory 17(3): 485-486 (2009)
31		Lin Guan, Irfan-Ullah Awan, Iain Phillips, A. Grigg, Waltenegus Dargie: Performance analysis of a threshold-based discrete-time queue using maximum entropy. Simulation Modelling Practice and Theory 17(3): 558-568 (2009)
	2008
30		Bjørn Haagensen, Sergio Maffeis, Iain Phillips: Matching Systems for Concurrent Calculi. Electr. Notes Theor. Comput. Sci. 194(2): 85-99 (2008)
29		Iain Phillips, Maria Grazia Vigliotti: Symmetric electoral systems for ambient calculi. Inf. Comput. 206(1): 34-72 (2008)
28		Iain Phillips: CCS with priority guards. J. Log. Algebr. Program. 75(1): 139-165 (2008)
	2007
27		Mark Withall, M. Shirantha de Silva, David J. Parish, Iain Phillips: Honey Plotter and the Web of Terror. ICCCN 2007: 1262-1266
26		Roberto M. Amadio, Iain Phillips: Preface. Electr. Notes Theor. Comput. Sci. 175(3): 1-2 (2007)
25		Iain Phillips, Irek Ulidowski: Reversibility and Models for Concurrency. Electr. Notes Theor. Comput. Sci. 192(1): 93-108 (2007)
24		Iain C. C. Phillips, Irek Ulidowski: Reversing algebraic process calculi. J. Log. Algebr. Program. 73(1-2): 70-96 (2007)
23		Jos C. M. Baeten, Iain C. C. Phillips: Preface. Theor. Comput. Sci. 386(3): 167-168 (2007)
22		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		Mohammad Reza Mousavi, Iain C. C. Phillips, Michel A. Reniers, Irek Ulidowski: The Meaning of Ordered SOS. FSTTCS 2006: 333-344
20		Iain C. C. Phillips, Irek Ulidowski: Reversing Algebraic Process Calculi. FoSSaCS 2006: 246-260
19		Jos C. M. Baeten, Iain C. C. Phillips: Preface. Electr. Notes Theor. Comput. Sci. 154(3): 1-2 (2006)
18		Iain C. C. Phillips, Irek Ulidowski: Operational Semantics of Reversibility in Process Algebra. Electr. Notes Theor. Comput. Sci. 162: 281-286 (2006)
17		Iain Phillips, Maria Grazia Vigliotti: Leader election in rings of ambient processes. Theor. Comput. Sci. 356(3): 468-494 (2006)
	2005
16		Maria Grazia Vigliotti, Iain Phillips, Catuscia Palamidessi: Separation Results Via Leader Election Problems. FMCO 2005: 172-194
15		Iain Phillips, Maria Grazia Vigliotti: Leader Election in Rings of Ambient Processes. Electr. Notes Theor. Comput. Sci. 128(2): 185-199 (2005)
14		Sergio Maffeis, Iain Phillips: On the computational strength of pure ambient calculi. Theor. Comput. Sci. 330(3): 501-551 (2005)
	2004
13		Iain Phillips, Maria Grazia Vigliotti: Electoral Systems in Ambient Calculi. FoSSaCS 2004: 408-422
12		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		Maria Grazia Vigliotti, Iain Phillips: Barbs and Congruences for Safe Mobile Ambients. Electr. Notes Theor. Comput. Sci. 66(3): (2002)
9		Irek Ulidowski, Iain C. C. Phillips: Ordered SOS Process Languages for Branching and Eager Bisimulations. Inf. Comput. 178(1): 180-213 (2002)
	2001
8		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		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

Coauthor Index

1	Roberto M. Amadio	[26]
2	Irfan-Ullah Awan (Irfan Awan)	[31] [32]
3	Jos C. M. Baeten	[19] [23]
4	John H. Connolly	[7]
5	Waltenegus Dargie	[31]
6	A. Grigg	[31]
7	Lin Guan	[31] [32]
8	Bjørn Haagensen	[30]
9	Marta Z. Kwiatkowska	[4]
10	Sergio Maffeis	[12] [14] [30]
11	Mohammad Reza Mousavi	[21] [33]
12	Catuscia Palamidessi	[16] [22]
13	David J. Parish	[6] [27]
14	Michel A. Reniers	[21] [33]
15	Mark Sandford	[6]
16	M. Shirantha de Silva	[27]
17	Irek Ulidowski	[5] [9] [18] [20] [21] [24] [25] [33]
18	Maria Grazia Vigliotti	[10] [11] [13] [15] [16] [17] [22] [29]
19	Xin Gang Wang	[32]
20	Mark Withall	[27]

Colors in the list of coauthors