Coalgebraic Infinite Traces and Kleisli Simulations
Coalgebraic Infinite Traces and Kleisli Simulations
复制标题
代数无限迹和 Kleisli 模拟
DOI：
10.4230/lipics.calco.2015.320
复制
发表时间：
2015
期刊：
影响因子：
--
通讯作者：
Natsuki Urabe and Ichiro Hasuo
中科院分区：
文献类型：
--
作者：
Kengo Kido;Swarat Chaudhuri and Ichiro Hasuo;Shota Nakagawa and Ichiro Hasuo;Natsuki Urabe and Ichiro Hasuo
登录
查看更多内容
通过确定性追踪语义
DOI：
--
发表时间：
2012
期刊：
Journal of computer and system sciences (Print)
影响因子：
--
作者：
B. Jacobs;Alexandra Silva;A. Sokolova
通讯作者：
A. Sokolova
DOI：
--
发表时间：
1993
期刊：
REX School/Symposium
影响因子：
--
作者：
J. Rutten;D. Turi
通讯作者：
D. Turi
DOI：
--
发表时间：
2002
期刊：
影响因子：
--
作者：
J. Adámek;F. Borceux;Stephen Lack;J. Rosický
通讯作者：
J. Rosický
测度多项式函子的端余代数
DOI：
10.1007/978-3-642-02017-9_35
发表时间：
2009
期刊：
--
影响因子：
--
作者：
C. Schubert
通讯作者：
C. Schubert
概率树自动机
DOI：
10.1145/800161.805165
发表时间：
1970
期刊：
Proceedings of the second annual ACM symposium on Theory of computing
影响因子：
--
作者：
C. Ellis
通讯作者：
C. Ellis