CINECA IRIS Institutional Research Information System
IRIS è la piattaforma adottata dall’Università degli Studi di Udine per gestire l’archivio aperto dei prodotti della ricerca. L’archivio contiene articoli, contributi in volume, monografie, interventi pubblicati in atti di convegno, Tesi di dottorato e altri materiali.
EnglishCoalgebras of measurable spaces are of interest in probability theory as a formalization of Labelled Markov Processes (LMPs). We discuss some general facts related to the notions of bisimulation and cocongruence on these systems, providing a faithful characterization of bisimulation on LMPs on generic measurable spaces. This has been used to prove that bisimilarity on single LMPs is an equivalence, without assuming the state space to be analytic. As the second main contribution, we introduce the first specification rule format to define well-behaved composition operators for LMPs. This allows one to define process description languages on LMPs which are always guaranteed to have a fully-abstract semantics.
| Titolo: | Generalized labelled Markov processes, coalgebraically |
| Autori: | |
| Data di pubblicazione: | 27-mag-2013 |
| Citazione: | Generalized labelled Markov processes, coalgebraically / Giorgio Bacci - Milano : Università degli studi di Milano. , 2013 May 27. ((24. ciclo |
| Handle: | http://hdl.handle.net/11390/1132455 |
| Appare nelle tipologie: | 8.2 Tesi di Dottorato (OpenUniud) |
File in questo prodotto:
| File | Descrizione | Tipologia | Licenza | |
|---|---|---|---|---|
| 10990_257_bacciPhDthesis.pdf | Tesi di dottorato | Non specificato | Open Access Visualizza/Apri |
Copyright © 2020