Bisimulation on Markov Processes over Arbitrary Measurable Spaces

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

3 Citationer (Scopus)

Resumé

We introduce a notion of bisimulation on labelled Markov Processes over generic measurable spaces in terms of arbitrary binary relations. Our notion of bisimulation is proven to coincide with the coalgebraic definition of Aczel and Mendler in terms of the Giry functor, which associates with a measurable space its collection of (sub)probability measures. This coalgebraic formulation allows one to relate the concepts of bisimulation and event bisimulation of Danos et al. (i.e., cocongruence) by means of a formal adjunction between the category of bisimulations and a (full sub)category of cocongruences, which gives new insights about the real categorical nature of their results. As a corollary, we obtain sufficient conditions under which state and event bisimilarity coincide.
OriginalsprogEngelsk
TitelHorizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
RedaktørerFrank van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
Vol/bind8464
ForlagSpringer Publishing Company
Publikationsdato2014
Sider76-95
ISBN (Trykt)978-3-319-06879-4
ISBN (Elektronisk)978-3-319-06880-0
DOI
StatusUdgivet - 2014
BegivenhedPrakashFest: Conference in Honour of Prakash Panangaden, on the Occasion of His 60th Birthday - University of Oxford, Oxford, Storbritannien
Varighed: 23 maj 201425 maj 2014

Konference

KonferencePrakashFest
LokationUniversity of Oxford
LandStorbritannien
ByOxford
Periode23/05/201425/05/2014
NavnLecture Notes in Computer Science
ISSN0302-9743

Fingerprint

Measurable space
Bisimulation
Markov Process
Arbitrary
Adjunction
Binary relation
Categorical
Functor
Probability Measure
Corollary
Formulation
Sufficient Conditions

Citer dette

Bacci, G., Bacci, G., Larsen, K. G., & Mardare, R. I. (2014). Bisimulation on Markov Processes over Arbitrary Measurable Spaces. I F. van Breugel, E. Kashefi, C. Palamidessi, & J. Rutten (red.), Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday (Bind 8464, s. 76-95). Springer Publishing Company. Lecture Notes in Computer Science https://doi.org/10.1007/978-3-319-06880-0_4
Bacci, Giorgio ; Bacci, Giovanni ; Larsen, Kim Guldstrand ; Mardare, Radu Iulian. / Bisimulation on Markov Processes over Arbitrary Measurable Spaces. Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. red. / Frank van Breugel ; Elham Kashefi ; Catuscia Palamidessi ; Jan Rutten. Bind 8464 Springer Publishing Company, 2014. s. 76-95 (Lecture Notes in Computer Science).
@inproceedings{314b9de067674d8785ce657aefef7edc,
title = "Bisimulation on Markov Processes over Arbitrary Measurable Spaces",
abstract = "We introduce a notion of bisimulation on labelled Markov Processes over generic measurable spaces in terms of arbitrary binary relations. Our notion of bisimulation is proven to coincide with the coalgebraic definition of Aczel and Mendler in terms of the Giry functor, which associates with a measurable space its collection of (sub)probability measures. This coalgebraic formulation allows one to relate the concepts of bisimulation and event bisimulation of Danos et al. (i.e., cocongruence) by means of a formal adjunction between the category of bisimulations and a (full sub)category of cocongruences, which gives new insights about the real categorical nature of their results. As a corollary, we obtain sufficient conditions under which state and event bisimilarity coincide.",
author = "Giorgio Bacci and Giovanni Bacci and Larsen, {Kim Guldstrand} and Mardare, {Radu Iulian}",
year = "2014",
doi = "10.1007/978-3-319-06880-0_4",
language = "English",
isbn = "978-3-319-06879-4",
volume = "8464",
series = "Lecture Notes in Computer Science",
publisher = "Springer Publishing Company",
pages = "76--95",
editor = "{van Breugel}, Frank and Elham Kashefi and Catuscia Palamidessi and Jan Rutten",
booktitle = "Horizons of the Mind. A Tribute to Prakash Panangaden",
address = "United States",

}

Bacci, G, Bacci, G, Larsen, KG & Mardare, RI 2014, Bisimulation on Markov Processes over Arbitrary Measurable Spaces. i F van Breugel, E Kashefi, C Palamidessi & J Rutten (red), Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. bind 8464, Springer Publishing Company, Lecture Notes in Computer Science, s. 76-95, PrakashFest, Oxford, Storbritannien, 23/05/2014. https://doi.org/10.1007/978-3-319-06880-0_4

Bisimulation on Markov Processes over Arbitrary Measurable Spaces. / Bacci, Giorgio; Bacci, Giovanni; Larsen, Kim Guldstrand; Mardare, Radu Iulian.

Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. red. / Frank van Breugel; Elham Kashefi; Catuscia Palamidessi; Jan Rutten. Bind 8464 Springer Publishing Company, 2014. s. 76-95 (Lecture Notes in Computer Science).

Publikation: Bidrag til bog/antologi/rapport/konference proceedingKonferenceartikel i proceedingForskningpeer review

TY - GEN

T1 - Bisimulation on Markov Processes over Arbitrary Measurable Spaces

AU - Bacci, Giorgio

AU - Bacci, Giovanni

AU - Larsen, Kim Guldstrand

AU - Mardare, Radu Iulian

PY - 2014

Y1 - 2014

N2 - We introduce a notion of bisimulation on labelled Markov Processes over generic measurable spaces in terms of arbitrary binary relations. Our notion of bisimulation is proven to coincide with the coalgebraic definition of Aczel and Mendler in terms of the Giry functor, which associates with a measurable space its collection of (sub)probability measures. This coalgebraic formulation allows one to relate the concepts of bisimulation and event bisimulation of Danos et al. (i.e., cocongruence) by means of a formal adjunction between the category of bisimulations and a (full sub)category of cocongruences, which gives new insights about the real categorical nature of their results. As a corollary, we obtain sufficient conditions under which state and event bisimilarity coincide.

AB - We introduce a notion of bisimulation on labelled Markov Processes over generic measurable spaces in terms of arbitrary binary relations. Our notion of bisimulation is proven to coincide with the coalgebraic definition of Aczel and Mendler in terms of the Giry functor, which associates with a measurable space its collection of (sub)probability measures. This coalgebraic formulation allows one to relate the concepts of bisimulation and event bisimulation of Danos et al. (i.e., cocongruence) by means of a formal adjunction between the category of bisimulations and a (full sub)category of cocongruences, which gives new insights about the real categorical nature of their results. As a corollary, we obtain sufficient conditions under which state and event bisimilarity coincide.

U2 - 10.1007/978-3-319-06880-0_4

DO - 10.1007/978-3-319-06880-0_4

M3 - Article in proceeding

SN - 978-3-319-06879-4

VL - 8464

T3 - Lecture Notes in Computer Science

SP - 76

EP - 95

BT - Horizons of the Mind. A Tribute to Prakash Panangaden

A2 - van Breugel, Frank

A2 - Kashefi, Elham

A2 - Palamidessi, Catuscia

A2 - Rutten, Jan

PB - Springer Publishing Company

ER -

Bacci G, Bacci G, Larsen KG, Mardare RI. Bisimulation on Markov Processes over Arbitrary Measurable Spaces. I van Breugel F, Kashefi E, Palamidessi C, Rutten J, red., Horizons of the Mind. A Tribute to Prakash Panangaden: Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday. Bind 8464. Springer Publishing Company. 2014. s. 76-95. (Lecture Notes in Computer Science). https://doi.org/10.1007/978-3-319-06880-0_4