Tom Chothia

	2009
17		Farhad Arbab, Tom Chothia, Rob van der Mei, Sun Meng, Young-Joo Moon, Chrétien Verhoef: From Coordination to Stochastic Models of QoS. COORDINATION 2009: 268-287
16		Mohammad Mahdi Jaghoori, Frank S. de Boer, Tom Chothia, Marjan Sirjani: Schedulability of asynchronous real-time concurrent objects. J. Log. Algebr. Program. 78(5): 402-416 (2009)
	2007
15		Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304
14		Tom Chothia, Dominic Duggan, Ye Wu: An End-To-End Approach to Distributed Policy Language Implementation: (Extended Abstract). Electr. Notes Theor. Comput. Sci. 171(4): 3-21 (2007)
13		Tom Chothia, Jetty Kleijn: Q-Automata: Modelling the Resource Usage of Concurrent Components. Electr. Notes Theor. Comput. Sci. 175(2): 153-167 (2007)
12		Tom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007)
11		Tom Chothia, Dominic Duggan: Capability passing processes. Sci. Comput. Program. 66(3): 184-204 (2007)
	2006
10		Tom Chothia: Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. FORTE 2006: 115-130
9		Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
8		Yuxin Deng, Tom Chothia, Catuscia Palamidessi, Jun Pang: Metrics for Action-labelled Quantitative Transition Systems. Electr. Notes Theor. Comput. Sci. 153(2): 79-96 (2006)
7		Tom Chothia, Dominic Duggan: Capability-Passing Processes. Electr. Notes Theor. Comput. Sci. 154(1): 3-23 (2006)
	2005
6		Tom Chothia, Konstantinos Chatzikokolakis: A Survey of Anonymous Peer-to-Peer File-Sharing. EUC Workshops 2005: 744-755
5		Tom Chothia, Dominic Duggan: Type-Based Distributed Access Control vs. Untyped Attackers. Formal Aspects in Security and Trust 2005: 203-216
	2004
4		Tom Chothia, Dominic Duggan: Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322(3): 567-613 (2004)
	2003
3		Tom Chothia, Dominic Duggan, Jan Vitek: Type-Based Distributed Access Control. CSFW 2003: 170-
	2001
2		Tom Chothia, Ian Stark: Encoding Distributed Areas and Local Communication into the pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
	2000
1		Tom Chothia, Ian Stark: A Distributed Pi-Calculus with Local Areas of Communication. Electr. Notes Theor. Comput. Sci. 41(2): (2000)

Coauthor Index

1	Farhad Arbab	[15] [17]
2	Frank S. de Boer	[16]
3	Konstantinos Chatzikokolakis	[6]
4	Muhammad Torabi Dashti	[9] [12]
5	Yuxin Deng	[8]
6	Dominic Duggan	[3] [4] [5] [7] [11] [14]
7	Mohammad Mahdi Jaghoori	[16]
8	Jetty Kleijn (H. C. M. Kleijn)	[13]
9	Robert D. van der Mei (Rob van der Mei)	[17]
10	Sun Meng	[15] [17]
11	Young-Joo Moon	[15] [17]
12	Simona Orzan	[9]
13	Catuscia Palamidessi	[8]
14	Jun Pang	[8] [9] [12]
15	Marjan Sirjani	[16]
16	Ian Stark	[1] [2]
17	Chrétien Verhoef	[17]
18	Jan Vitek	[3]
19	Ye Wu	[14]

Colors in the list of coauthors