Browsing by Author Bartolo Burlò, Christian
Showing results 1 to 5 of 5
| Issue Date | Title | Author(s) |
| 2021 | On the monitorability of session types, in theory and practice | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
| 2021 | On the monitorability of session types, in theory and practice (Artifact) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
| 2022 | PSTMonitor : monitor synthesis from probabilistic session types | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio |
| 2020 | Towards a hybrid verification methodology for communication protocols (short paper) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |
| 2021 | Towards probabilistic session-type monitoring | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste; Trubiani, Catia; Tuosto, Emilio |
