The following pages link to Tom Chothia (Q530211):
Displaying 11 items.
- Compositional schedulability analysis of real-time actor-based systems (Q530212) (← links)
- Abstractions for fault-tolerant global computing (Q1881258) (← links)
- Capability passing processes (Q2373642) (← links)
- Schedulability of asynchronous real-time concurrent objects (Q2390036) (← links)
- Keeping secrets in resource aware components (Q2870285) (← links)
- Modular Schedulability Analysis of Concurrent Objects in Creol (Q3400922) (← links)
- Statistical Measurement of Information Leakage (Q3557089) (← links)
- A Framework for Automatically Checking Anonymity with μCRL (Q3608464) (← links)
- Analysing the MUTE Anonymous File-Sharing System Using the Pi-Calculus (Q3613062) (← links)
- Encoding Distributed Areas and Local Communication into the π-Calculus (Q4917086) (← links)
- A Distributed π-Calculus with Local Areas of Communication (Q4921499) (← links)