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).
The Concurrent Calculi Formalisation Benchmark
2024 Carbone, Marco; Castro-Perez, David; Ferreira, Francisco; Gheri, Lorenzo; Jacobsen, Frederik Krogsdal; Momigliano, Alberto; Padovani, Luca; Scalas, Alceste; Tirore, Dawit; Vassor, Martin; Yoshida, Nobuko; Zackon, Daniel
Undecidability of asynchronous session subtyping
2017 Bravetti, Mario; Carbone, Marco; Zavattaro, Gianluigi
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 | - |