|
|
|
|
|
|
A Formal Model of Provenance in Distributed Systems
TaPP'09 USENIX, San Francisco, February 2009.
Permission Based Separation Logic for Message Passing Concurrency
Trinity College, Ireland, January 2009.
A Unified Framework for Verification Techniques for Object Invariants
Imperial College, England, June 2007.
A Fault-Tolerance Bisimulation Proof for Consensus
ESOP'07 , Braga, April 2007
A Theory of Observational Fault Tolerance
FoSSaCS'06 , Vienna, April 2006
A Theory of System Behaviour in the Presence of Node and Link Failure
Concur'05 , San Francisco, July 2005
Failure and Fault Tolerance in a Distributed Pi-calculus
Imperial College , England, May 2005
Failure and Fault Tolerance in a Distributed Pi-calculus
Princeton University, Stony Brooke State University, Stevens Institute of Technology, United States, December 2004
Formalising Fault Tolerance in a Distributed Pi-calculus
Mikado/Myths Workshop, Venice, Italy, June 2004
A Study of System Behaviour in the presence of Node and Link Failure
Mikado/Myths Workshop, Sussex, England, June 2003