Browsing by Author Hennessy, Matthew
Showing results 1 to 8 of 8
Issue Date | Title | Author(s) |
2014 | Compositional reasoning for explicit resource management in channel-based concurrency | Francalanza, Adrian; Devries, Edsko; Hennessy, Matthew |
2007 | A fault tolerance bisimulation proof for consensus | Francalanza, Adrian; Hennessy, Matthew |
2005 | Location and link failure in a distributed π-calculus | Francalanza, Adrian; Hennessy, Matthew |
2007 | Proving distributed algorithm correctness using fault tolerance bisimulations | Francalanza, Adrian; Hennessy, Matthew |
2011 | Reasoning about explicit resource management | Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew |
2007 | A theory for observational fault tolerance | Francalanza, Adrian; Hennessy, Matthew |
2008 | A theory of system behaviour in the presence of node and link failure | Francalanza, Adrian; Hennessy, Matthew |
2009 | Uniqueness typing for resource management in message-passing concurrency | Devries, Edsko; Francalanza, Adrian; Hennessy, Matthew |