@article{Blute_Desharnais_Edalat_Panangaden_1997, title={Bisimulation for Labelled Markov Processes}, volume={4}, url={https://tidsskrift.dk/brics/article/view/18783}, DOI={10.7146/brics.v4i4.18783}, abstractNote={In this paper we introduce a new class of labelled transition systems<br />- Labelled Markov Processes - and define bisimulation for them.<br />Labelled Markov processes are probabilistic labelled transition systems<br />where the state space is not necessarily discrete, it could be the<br />reals, for example. We assume that it is a Polish space (the underlying<br />topological space for a complete separable metric space). The mathematical<br /> theory of such systems is completely new from the point of<br />view of the extant literature on probabilistic process algebra; of course,<br />it uses classical ideas from measure theory and Markov process theory.<br />The notion of bisimulation builds on the ideas of Larsen and Skou and<br />of Joyal, Nielsen and Winskel. The main result that we prove is that<br />a notion of bisimulation for Markov processes on Polish spaces, which<br />extends the Larsen-Skou denition for discrete systems, is indeed an<br />equivalence relation. This turns out to be a rather hard mathematical<br />result which, as far as we know, embodies a new result in pure probability<br />theory. This work heavily uses continuous mathematics which<br />is becoming an important part of work on hybrid systems.}, number={4}, journal={BRICS Report Series}, author={Blute, Richard and Desharnais, Josée and Edalat, Abbas and Panangaden, Prakash}, year={1997}, month={Jan.} }