Browsing by Author Tuosto, Emilio
Showing results 1 to 4 of 4
| Issue Date | Title | Author(s) |
| 2017 | Reliability and fault-tolerance by choreographic design | Cassar, Ian; Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
| 2018 | Reversible choreographies via monitoring in Erlang | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
| 2020 | Towards choreographic-based monitoring | Francalanza, Adrian; Mezzina, Claudio Antares; Tuosto, Emilio |
| 2021 | Towards probabilistic session-type monitoring | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio |
