Browsing by Subject Fault-tolerant computing
Showing results 1 to 6 of 6
Issue Date | Title | Author(s) |
2010 | Distributed protocols as behaviours in Erlang | Demicoli, Darren; Francalanza, Adrian |
2007 | A fault tolerance bisimulation proof for consensus | Francalanza, Adrian; Hennessy, Matthew |
2012-11 | Formal fault-tolerance proofs for distributed algorithms | Zammit, Mandy; Francalanza, Adrian |
2013 | Inductive basic correctness reasoning in formal fault-tolerance proofs for distributed algorithms | Zammit, Mandy (2013) |
2011 | Mapping channel-based message passing to mailbox message passing in Erlang | Colombo, Joseph (2011) |
2007 | A theory for observational fault tolerance | Francalanza, Adrian; Hennessy, Matthew |