Italiano (Italian) English (Inglese)
Thursday, 29 October 2020

Publications

Back
Pubblication Details
Authors:Livio Bioglio
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
Title:Type Directed Semantics for the Calculus of Looping Sequences
Published on:International Journal of Software and Informatics
Year:2011
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/~dezani/papers/bdgt.pdf