### Resumé

Originalsprog | Engelsk |
---|---|

Titel | Horizons of the Mind. A Tribute to Prakash Panangaden : Essays Dedicated to Prakash Panangaden on the Occasion of His 60th Birthday |

Redaktører | Frank van Breugel, Elham Kashefi, Catuscia Palamidessi, Jan Rutten |

Vol/bind | 8464 |

Forlag | Springer Publishing Company |

Publikationsdato | 2014 |

Sider | 76-95 |

ISBN (Trykt) | 978-3-319-06879-4 |

ISBN (Elektronisk) | 978-3-319-06880-0 |

DOI | |

Status | Udgivet - 2014 |

Begivenhed | PrakashFest: Conference in Honour of Prakash Panangaden, on the Occasion of His 60th Birthday - University of Oxford, Oxford, Storbritannien Varighed: 23 maj 2014 → 25 maj 2014 |

### Konference

Konference | PrakashFest |
---|---|

Lokation | University of Oxford |

Land | Storbritannien |

By | Oxford |

Periode | 23/05/2014 → 25/05/2014 |

Navn | Lecture Notes in Computer Science |
---|---|

ISSN | 0302-9743 |

### Fingerprint

### Citer dette

*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

}

*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.

Publikation: Bidrag til bog/antologi/rapport/konference proceeding › Konferenceartikel i proceeding › Forskning › peer 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 -