Pubblicazioni
| Autori: | Livio Bioglio |
| Mariangiola Dezani-Ciancaglini | |
| Paola Giannini | |
| Angelo Troina | |
| Titolo: | Typed Stochastic Semantics for the Calculus of Looping Sequences |
| Apparso su: | Theoretical Computer Science |
| Anno: | 2012 |
| Tipo Pubblicazione: | Paper on International Journal |
| URL: | http://www.di.unito.it/...astic_semantics_for_cls.pdf |
| Sommario: |