Tom Chothia
From MaRDI portal
List of research outcomes
This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!
| Publication | Date of Publication | Type |
|---|---|---|
| Compositional schedulability analysis of real-time actor-based systems Acta Informatica | 2017-06-09 | Paper |
| Keeping secrets in resource aware components Electronic Notes in Theoretical Computer Science | 2014-01-17 | Paper |
| A distributed \(\pi\)-calculus with local areas of communication Electronic Notes in Theoretical Computer Science | 2013-05-10 | Paper |
| Encoding distributed areas and local communication into the \(\pi \)-calculus Electronic Notes in Theoretical Computer Science | 2013-04-26 | Paper |
| Statistical measurement of information leakage Tools and Algorithms for the Construction and Analysis of Systems | 2010-04-27 | Paper |
| Modular Schedulability Analysis of Concurrent Objects in Creol Fundamentals of Software Engineering | 2010-01-28 | Paper |
| Schedulability of asynchronous real-time concurrent objects The Journal of Logic and Algebraic Programming | 2009-07-20 | Paper |
| Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus Lecture Notes in Computer Science | 2009-03-11 | Paper |
| A Framework for Automatically Checking Anonymity with μCRL Trustworthy Global Computing | 2009-03-05 | Paper |
| Capability passing processes Science of Computer Programming | 2007-07-16 | Paper |
| Abstractions for fault-tolerant global computing Theoretical Computer Science | 2004-10-04 | Paper |
Research outcomes over time
This page was built for person: Tom Chothia
