Italiano (Italian) English (Inglese)
venerdì, 22 marzo 2019

Pubblicazioni

Indietro
Dettagli Pubblicazione
Autori:Livio Bioglio
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
Titolo:Type Directed Semantics for the Calculus of Looping Sequences
Apparso su:International Journal of Software and Informatics
Anno:2011
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/~dezani/papers/bdgt.pdf