Italiano (Italian) English (Inglese)
giovedì, 21 settembre 2023

Pubblicazioni

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