Weak Bisimulations for the Giry Monad (Extended Abstract)

DOI10.1007/978-3-540-79228-4_35zbMath1139.68388OpenAlexW115869191MaRDI QIDQ3502664

Ernst-Erich Doberkat

Publication date: 27 May 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-79228-4_35

Mathematics Subject Classification ID

Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Probabilistic measure theory (60A10) Axioms; other general questions in probability (60A05) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

Behavioural equivalences for coalgebras with unobservable moves

This page was built for publication: Weak Bisimulations for the Giry Monad (Extended Abstract)