Probabilistic systems coalgebraically: A survey.
Probabilistic systems coalgebraically: A survey.
复制标题
DOI：
10.1016/j.tcs.2011.05.008
复制
发表时间：
2011-09-02
影响因子：
1.1
通讯作者：
Sokolova, Ana
中科院分区：
文献类型：
--
作者：
Sokolova, Ana
我们综述了离散和连续空间概率系统作为余代数的工作，从概率系统如何被建模为余代数开始，接着讨论了它们的互相似性和行为等价性，提到了概率系统的余代数处理的结果。有趣的是，由于不同的原因，对于离散和连续的概率系统，使用行为等价性可能比使用生物相似性更方便。
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.entcs.2006.06.002
发表时间：
2006-10-20
影响因子：
--
作者：
Cirstea, Corina
通讯作者：
Cirstea, Corina
影响因子：
1.1
作者：
de Vink, EP;Rutten, JJMM
通讯作者：
Rutten, JJMM
影响因子：
1.1
作者：
Bartels, F;Sokolova, A;de Vink, E
通讯作者：
de Vink, E
影响因子：
1.1
作者：
Gumm, H. Peter
通讯作者：
Gumm, H. Peter
影响因子：
1.1
作者：
Cirstea, Corina;Pattinson, Dirk
通讯作者：
Pattinson, Dirk