Search the dblp DataBase

Publications of Author

1. Adrian Francalanza, Matthew Hennessy
   A Theory of System Behaviour in the Presence of Node and Link Failures. [Citation Graph (0, 0)][DBLP]
   CONCUR, 2005, pp:368-382 [Conf]
   
2. Adrian Francalanza, Matthew Hennessy
   A Theory for Observational Fault Tolerance. [Citation Graph (0, 0)][DBLP]
   FoSSaCS, 2006, pp:16-31 [Conf]
   
3. Adrian Francalanza, Matthew Hennessy
   A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract). [Citation Graph (0, 0)][DBLP]
   ESOP, 2007, pp:395-410 [Conf]
   
4. Adrian Francalanza, Matthew Hennessy
   A theory for observational fault tolerance. [Citation Graph (0, 0)][DBLP]
   J. Log. Algebr. Program., 2007, v:73, n:1-2, pp:22-50 [Journal]
   
5. 
   A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]
   
   
6. 
   A Unified Framework for Verification Techniques for Object Invariants. [Citation Graph (, )][DBLP]
   
   
7. 
   A Formal Model of Provenance in Distributed Systems. [Citation Graph (, )][DBLP]
   
   
8. 
   Universe Types for Topology and Encapsulation. [Citation Graph (, )][DBLP]
   
   
9. 
   Uniqueness Typing for Resource Management in Message-Passing Concurrency [Citation Graph (, )][DBLP]