Bisimulation on Markov Processes over Arbitrary Measurable Spaces

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

3 Citationer (Scopus)

Abstrakt

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
Land/OmrådeStorbritannien
ByOxford
Periode23/05/201425/05/2014
NavnLecture Notes in Computer Science
ISSN0302-9743

Fingeraftryk

Dyk ned i forskningsemnerne om 'Bisimulation on Markov Processes over Arbitrary Measurable Spaces'. Sammen danner de et unikt fingeraftryk.

Citationsformater