Probabilistic systems coalgebraically: A survey

Ana Sokolova
2011 Theoretical Computer Science  
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.
doi:10.1016/j.tcs.2011.05.008 pmid:21998490 pmcid:PMC3185909 fatcat:z4iljxlfofc5jbzyg3bwxk4g5y