一种用于概率过程的新分支双模拟
A New Branching Bisimulation for Probabilistic Processes
首次发表
浏览论文内容
中文总结 AI 辅助
该研究为概率过程引入新分支双模拟，此双模拟诱导出更精细等价关系，其有根版本对含递归等构造的概率过程语言是同余关系，是一种新的等价关系定义。
中文摘要 AI 辅助
我们为概率过程引入了一种新的分支双模拟，它诱导出比任何从不可观察动作抽象出的已知等价关系更精细的等价关系，其有根版本对于包含递归的具有通常静态和动态构造的概率过程语言是同余关系。
英文摘要
We introduce a new branching bisimulation for probabilistic processes, which induces a more refined equivalence relation than any known equivalence that abstracts from unobservable actions, with a rooted version that is a congruence for a language of probabilistic process with the usual static as well as dynamic constructs including recursion.
