Browsing by Subject Scala (Computer program language)
Showing results 1 to 3 of 3
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 |
2020 | Towards a hybrid verification methodology for communication protocols (short paper) | Bartolo Burlò, Christian; Francalanza, Adrian; Scalas, Alceste |