 | 2011 |
|---|
| 13 |       | Adrian Francalanza,
Andrew Gauci,
Gordon J. Pace:
Distributed System Contract Monitoring
FLACOS 2011: 23-37 |
| 12 | | Christian Colombo,
Adrian Francalanza,
Rudolph Gatt:
Elarva: A Monitoring Tool for Erlang.
RV 2011: 370-374 |
| 11 | | Adrian Francalanza,
Julian Rathke,
Vladimiro Sassone:
Permission-Based Separation Logic for Message-Passing Concurrency
Logical Methods in Computer Science 7(3): (2011) |
| 2009 |
|---|
| 10 | | Edsko de Vries,
Adrian Francalanza,
Matthew Hennessy:
Uniqueness Typing for Resource Management in Message-Passing Concurrency
LINEARITY 2009: 26-37 |
| 9 | | Issam Souilah,
Adrian Francalanza,
Vladimiro Sassone:
A Formal Model of Provenance in Distributed Systems.
Workshop on the Theory and Practice of Provenance 2009 |
| 2008 |
|---|
| 8 | | Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
ECOOP 2008: 412-437 |
| 7 | | Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
A Unified Framework for Verification Techniques for Object Invariants.
Types, Logics and Semantics for State 2008 |
| 6 | | Adrian Francalanza,
Matthew Hennessy:
A theory of system behaviour in the presence of node and link failure.
Inf. Comput. 206(6): 711-759 (2008) |
| 2007 |
|---|
| 5 | | Adrian Francalanza,
Matthew Hennessy:
A Fault Tolerance Bisimulation Proof for Consensus (Extended Abstract).
ESOP 2007: 395-410 |
| 4 | | Dave Cunningham,
Werner Dietl,
Sophia Drossopoulou,
Adrian Francalanza,
Peter Müller,
Alexander J. Summers:
Universe Types for Topology and Encapsulation.
FMCO 2007: 72-112 |
| 3 | | Adrian Francalanza,
Matthew Hennessy:
A theory for observational fault tolerance.
J. Log. Algebr. Program. 73(1-2): 22-50 (2007) |
| 2006 |
|---|
| 2 | | Adrian Francalanza,
Matthew Hennessy:
A Theory for Observational Fault Tolerance.
FoSSaCS 2006: 16-31 |
| 2005 |
|---|
| 1 | | Adrian Francalanza,
Matthew Hennessy:
A Theory of System Behaviour in the Presence of Node and Link Failures.
CONCUR 2005: 368-382 |
Data released under the ODC-BY 1.0 license — See also our legal information page