Browsing by Subject Pi-calculus
Showing results 1 to 6 of 6
| Issue Date | Title | Author(s) |
| 2009 | A formal model of provenance in distributed systems | Souilah, Issam; Francalanza, Adrian; Sassone, Vladimiro |
| 2017 | A foundation for runtime monitoring | Francalanza, Adrian; Aceto, Luca; Achilleos, Antonis; Attard, Duncan Paul; Cassar, Ian; Della Monica, Dario; Ingólfsdóttir, Anna |
| 2006 | Implementing a compiler/interpreter for Pi-Calculus | Tabone, Christian (2006) |
| 2005 | Location and link failure in a distributed π-calculus | Francalanza, Adrian; Hennessy, Matthew |
| 2018 | Simulating a formally specified message based concurrent language | Said Camilleri, Mark |
| 2011 | A π-calculus to Erlang compiler | Debono, Michael (2011) |
