Bisimulation on Markov processes over arbitrary measurable spaces

Giorgio Bacci, Giovanni Bacci, Kim Guldstrand Larsen, Radu Mardare

Research output: Chapter in Book/Report/Conference proceedingConference contribution book

3 Citations (Scopus)

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.

Original languageEnglish
Title of host publicationHorizons of the Mind
Subtitle of host publicationA Tribute to Prakash Panangaden - Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday
EditorsFranck van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten
Place of PublicationCham
PublisherSpringer-Verlag
Pages76-95
Number of pages20
ISBN (Print)9783319068794
DOIs
Publication statusPublished - 21 May 2014
EventPrakashFest Conference - Oxford, United Kingdom
Duration: 19 May 201422 May 2014

Publication series

NameLecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)
Volume8464 LNCS
ISSN (Print)0302-9743
ISSN (Electronic)1611-3349

Conference

ConferencePrakashFest Conference
CountryUnited Kingdom
CityOxford
Period19/05/1422/05/14

Keywords

  • markov processes
  • bisimulation
  • binary relations

Fingerprint Dive into the research topics of 'Bisimulation on Markov processes over arbitrary measurable spaces'. Together they form a unique fingerprint.

Cite this