CICCONE, LUCA
CICCONE, LUCA
100023 - Dipartimento di Informatica, bioingegneria, robotica e ingegneria dei sistemi
Mostra
records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.006 secondi).
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Fair Termination of Multiparty Sessions | 1-gen-2022 | Ciccone, L.; Dagnino, F.; Padovani, L. | |
Flexible coinduction in Agda | 1-gen-2021 | Ciccone, L.; Dagnino, F.; Zucca, E. |