Model independent approach to probabilistic models
Model independent approach to probabilistic models
复制标题
概率模型的模型独立方法
DOI：
10.1016/j.tcs.2021.04.001
复制
发表时间：
2021-04
期刊：
影响因子：
--
通讯作者：
Yuxi Fu
中科院分区：
文献类型：
--
作者：
Yuxi Fu
有很多关于概率转移系统的研究。概率过程模型的研究还不多。缺乏调查的概率过程的互动方面，主要是由于概率选择和不确定性行动之间的差异所造成的困难。本文提出了一个统一的方法，概率进程模型和互模拟理论的概率并发。
There is a lot of research on probabilistic transition systems. There are not many studies in probabilistic process models. The lack of investigation into the interactive aspect of probabilistic processes is mainly due to the difficulty caused by the discrepancy between probabilistic choices and nondeterministic actions. The paper proposes a uniform approach to probabilistic process models and a bisimulation theory for probabilistic concurrency.
登录
查看更多内容
DOI：
10.7551/mitpress/5641.003.0027
发表时间：
2000-07
期刊：
--
影响因子：
--
作者：
E. W. Stark;S. Smolka
通讯作者：
E. W. Stark;S. Smolka
DOI：
10.4230/lipics.mfcs.2017.72
发表时间：
2017
期刊：
--
影响因子：
--
作者：
R. Lanotte;Massimo Merro;S. Tini
通讯作者：
R. Lanotte;Massimo Merro;S. Tini
DOI：
10.1016/j.tcs.2015.07.043
发表时间：
2016-01
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Yuxi Fu
通讯作者：
Yuxi Fu
DOI：
10.1016/0304-3975(94)90251-8
发表时间：
1994-11
期刊：
--
影响因子：
--
作者：
L. Fortnow;John Rompel;M. Sipser
通讯作者：
L. Fortnow;John Rompel;M. Sipser
影响因子：
1.1
作者：
Sokolova, Ana
通讯作者：
Sokolova, Ana