Tom Chothia

Available identifiers

Publication	Date of Publication	Type
Compositional schedulability analysis of real-time actor-based systems	2017-06-09	Paper
Keeping secrets in resource aware components	2014-01-17	Paper
A distributed \(\pi\)-calculus with local areas of communication	2013-05-10	Paper
Encoding distributed areas and local communication into the \(\pi \)-calculus	2013-04-26	Paper
Statistical measurement of information leakage	2010-04-27	Paper
Modular Schedulability Analysis of Concurrent Objects in Creol	2010-01-28	Paper
Schedulability of asynchronous real-time concurrent objects	2009-07-20	Paper
Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus	2009-03-11	Paper
A Framework for Automatically Checking Anonymity with μCRL	2009-03-05	Paper
Capability passing processes	2007-07-16	Paper
Abstractions for fault-tolerant global computing	2004-10-04	Paper

This page was built for person: Tom Chothia