Pubblicazioni
Autori: | Livio Bioglio |
Mariangiola Dezani-Ciancaglini | |
Paola Giannini | |
Angelo Troina | |
Titolo: | A Calculus of Looping Sequences with Local Rules |
Apparso su: | 7th Workshop on Developments in Computational Models (DCM'11) |
Anno: | 2012 |
Tipo Pubblicazione: | Paper on Proceedings International Conference |
URL: | http://www.di.unito.it/...oina/publications/dcm11.pdf |