Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
Fair Simulation for Nondeterministic and Probabilistic Buechi Automata: a Coalgebraic Perspective
复制标题
非确定性和概率布奇自动机的公平模拟：代数视角
DOI：
10.23638/lmcs-13
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Ichiro Hasuo
中科院分区：
文献类型：
--
作者：
Natsuki Urabe;Ichiro Hasuo
登录
查看更多内容
通过确定性追踪语义
DOI：
--
发表时间：
2012
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
作者：
B. Jacobs;Alexandra Silva;A. Sokolova
通讯作者：
A. Sokolova
无限树自动机中的随机化
DOI：
10.1145/2629336
发表时间：
2014
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
Arnaud Carayol;Axel Haddad;O. Serre
通讯作者：
O. Serre
从代数意义上的分支到线性时间
DOI：
10.4204/eptcs.126.2
发表时间：
2013
期刊：
Fundam. Informaticae
影响因子：
--
作者：
C. Cîrstea
通讯作者：
C. Cîrstea
用匕首杀死 epsilon：具有代数标签结构的系统的联合代数研究
影响因子：
1.1
作者：
F. Bonchi;Stefan Milius;Alexandra Silva;F. Zanasi
通讯作者：
F. Zanasi
代数无限迹和 Kleisli 模拟
DOI：
10.4230/lipics.calco.2015.320
发表时间：
2015
期刊：
Proc. 6th Conference on Algebra and Coalgebra in Computer Science, CALCO 2015, LIPIcs
影响因子：
--
作者：
Kengo Kido;Swarat Chaudhuri and Ichiro Hasuo;Shota Nakagawa and Ichiro Hasuo;Natsuki Urabe and Ichiro Hasuo
通讯作者：
Natsuki Urabe and Ichiro Hasuo