Tom Chothia

2007
15	EE	Farhad Arbab, Tom Chothia, Sun Meng, Young-Joo Moon: Component Connectors with QoS Guarantees. COORDINATION 2007: 286-304
14	EE	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	EE	Tom Chothia, Jetty Kleijn: Q-Automata: Modelling the Resource Usage of Concurrent Components. Electr. Notes Theor. Comput. Sci. 175(2): 153-167 (2007)
12	EE	Tom Chothia, Jun Pang, Muhammad Torabi Dashti: Keeping Secrets in Resource Aware Components. Electr. Notes Theor. Comput. Sci. 190(3): 79-94 (2007)
11	EE	Tom Chothia, Dominic Duggan: Capability passing processes. Sci. Comput. Program. 66(3): 184-204 (2007)
2006
10	EE	Tom Chothia: Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus. FORTE 2006: 115-130
9	EE	Tom Chothia, Simona Orzan, Jun Pang, Muhammad Torabi Dashti: A Framework for Automatically Checking Anonymity with mu CRL. TGC 2006: 301-318
8	EE	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	EE	Tom Chothia, Dominic Duggan: Capability-Passing Processes. Electr. Notes Theor. Comput. Sci. 154(1): 3-23 (2006)
2005
6	EE	Tom Chothia, Konstantinos Chatzikokolakis: A Survey of Anonymous Peer-to-Peer File-Sharing. EUC Workshops 2005: 744-755
5	EE	Tom Chothia, Dominic Duggan: Type-Based Distributed Access Control vs. Untyped Attackers. Formal Aspects in Security and Trust 2005: 203-216
2004
4	EE	Tom Chothia, Dominic Duggan: Abstractions for fault-tolerant global computing. Theor. Comput. Sci. 322(3): 567-613 (2004)
2003
3	EE	Tom Chothia, Dominic Duggan, Jan Vitek: Type-Based Distributed Access Control. CSFW 2003: 170-
2001
2	EE	Tom Chothia, Ian Stark: Encoding Distributed Areas and Local Communication into the pi-Calculus. Electr. Notes Theor. Comput. Sci. 52(1): (2001)
2000
1	EE	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]
2	Konstantinos Chatzikokolakis	[6]
3	Muhammad Torabi Dashti	[9] [12]
4	Yuxin Deng	[8]
5	Dominic Duggan	[3] [4] [5] [7] [11] [14]
6	Jetty Kleijn (H. C. M. Kleijn)	[13]
7	Sun Meng	[15]
8	Young-Joo Moon	[15]
9	Simona Orzan	[9]
10	Catuscia Palamidessi	[8]
11	Jun Pang	[8] [9] [12]
12	Ian Stark	[1] [2]
13	Jan Vitek	[3]
14	Ye Wu	[14]

Colors in the list of coauthors