Probabilistic systems coalgebraically: A survey

Theor Comput Sci. 2011 Sep 2;412(38):5095-5110. doi: 10.1016/j.tcs.2011.05.008.


We survey the work on both discrete and continuous-space probabilistic systems as coalgebras, starting with how probabilistic systems are modeled as coalgebras and followed by a discussion of their bisimilarity and behavioral equivalence, mentioning results that follow from the coalgebraic treatment of probabilistic systems. It is interesting to note that, for different reasons, for both discrete and continuous probabilistic systems it may be more convenient to work with behavioral equivalence than with bisimilarity.