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. |