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