Italiano (Italian) English (Inglese)
mercoledì, 30 ottobre 2024

Pubblicazioni

Indietro
Dettagli Pubblicazione
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