Università degli Studi di Udine OpenUniud - Archivio istituzionale delle tesi di dottorato
 

OpenUniud - Archivio istituzionale delle tesi di dottorato >
Udine Thesis Repository >
01 - Tesi di dottorato >

Utilizza questo identificativo per citare o creare un link a questo documento: http://hdl.handle.net/10990/257

Autori: Bacci, Giorgio
Supervisore afferente all'Università: MICULAN, MARINO
Centro di ricerca: DIPARTIMENTO MATEMATICA E INFORMATICA - DIMI
Titolo: Generalized labelled Markov processes, coalgebraically
Abstract: Coalgebras 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.
Parole chiave: Markov processes; Bisimulation; Coalgebras; Structural operational semantics; Behavioral distances
MIUR : Settore INF/01 - Informatica
Lingua: eng
Data: 27-mag-2013
Corso di dottorato: Dottorato di ricerca in Informatica
Ciclo di dottorato: 24
Università di conseguimento titolo: Università degli Studi di Udine
Luogo di discussione: Udine
Citazione: Bacci, G. Generalized labelled Markov processes, coalgebraically. (Doctoral Thesis, Università degli Studi di Udine, 2013).
In01 - Tesi di dottorato

Full text:

File DimensioniFormatoConsultabilità
bacciPhDthesis.pdf1,24 MBAdobe PDFVisualizza/apri

Questo documento è distribuito in accordo con Licenza Creative Commons
Creative Commons


Tutti i documenti archiviati in DSPACE sono protetti da copyright. Tutti i diritti riservati.


Segnala questo record su
Del.icio.us

Citeulike

Connotea

Facebook

Stumble it!

reddit


 

  ICT Support, development & maintenance are provided by CINECA. Powered on DSpace SoftwareFeedback CINECA