CARBONE, MARCO

CARBONE, MARCO  

DIPARTIMENTO DI INFORMATICA - SCIENZA E INGEGNERIA  

Personale esterno ed autonomi  

Mostra records
Risultati 1 - 2 di 2 (tempo di esecuzione: 0.003 secondi).
Titolo Autore(i) Anno Periodico Editore Tipo File
The Concurrent Calculi Formalisation Benchmark Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krog...sdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel 2024-01-01 - SPRINGER INTERNATIONAL PUBLISHING AG 4.01 Contributo in Atti di convegno -
Undecidability of asynchronous session subtyping Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi 2017-01-01 INFORMATION AND COMPUTATION - 1.01 Articolo in rivista -