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