Italiano (Italian) English (Inglese)
Monday, 15 April 2024

Publications

Back
Pubblication Details
Authors:Livio Bioglio
Mariangiola Dezani-Ciancaglini
Paola Giannini
Angelo Troina
Title:Typed Stochastic Semantics for the Calculus of Looping Sequences
Published on:Theoretical Computer Science
Year:2012
Tipo Pubblicazione:Paper on International Journal
URL:http://www.di.unito.it/...astic_semantics_for_cls.pdf
Abstract: