Browsing by Subject Distributed algorithms
Showing results 1 to 15 of 15
| Issue Date | Title | Author(s) |
| 2019 | An asynchronous method for cloud-based rendering | Bugeja, Keith; Debattista, Kurt; Spina, Sandro |
| 2021-04 | A choreographed outline instrumentation approach for asynchronous components | Aceto, Luca; Attard, Duncan Paul; Francalanza, Adrian; Ingólfsdóttir, Anna |
| 2010 | Distributed protocols as behaviours in Erlang | Demicoli, Darren; Francalanza, Adrian |
| 2011 | ELARVA : a monitoring tool for Erlang | Colombo, Christian; Francalanza, Adrian; Gatt, Rudolph |
| 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 |
| 2014 | Formal proofs for broadcast 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) |
| 2012 | Monitoring as an instance of behaviour in Erlang | Spiteri, Elise Ann (2012) |
| 2016 | Organising LTL monitors over distributed systems with a global clock | Colombo, Christian; Falcone, Yliès |
| 2011 | Permission-based separation logic for message-passing concurrency | Francalanza, Adrian; Rathke, Julian; Sassone, Vladimiro |
| 2007 | Proving distributed algorithm correctness using fault tolerance bisimulations | Francalanza, Adrian; Hennessy, Matthew |
| 2012 | Synchronous and asynchronous monitoring in Elarva | Calleja, Justin (2012) |
| 2013 | Towards an abstraction for remote evaluation in Erlang | Francalanza, Adrian; Zerafa, Tyron |
