Browsing by Subject Bisimulation
Showing results 1 to 12 of 12
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 |
2009 | A formal model of provenance in distributed systems | Souilah, Issam; Francalanza, Adrian; Sassone, Vladimiro |
2006 | Formal verification of enterprise integration architectures | Cachia, Ernest; Vella, Mark Joseph |
2018-12 | Full-abstraction for client testing preorders | Bernardi, Giovanni; Francalanza, Adrian |
2017 | Full-abstraction for must testing preorders | Bernardi, Giovanni; Francalanza, Adrian |
2013 | Inductive basic correctness reasoning in formal fault-tolerance proofs for distributed algorithms | Zammit, Mandy (2013) |
2005 | Location and link failure in a distributed π-calculus | 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 |