Undecidable Equivalences for Basic Parallel Processes
Undecidable Equivalences for Basic Parallel Processes
复制标题
基本并行过程的不可判定等价
DOI：
--
复制
发表时间：
2009
影响因子：
1
通讯作者：
Naoki Kobayashi and Takashi Suto
中科院分区：
文献类型：
--
作者：
Hans Huttel;Naoki Kobayashi and Takashi Suto
登录
查看更多内容
结构操作语义和互模拟作为同余（扩展摘要）
DOI：
10.1007/bfb0035774
发表时间：
1989
期刊：
International Colloquium on Automata, Languages and Programming
影响因子：
--
作者：
J. F. Groote;F. Vaandrager
通讯作者：
F. Vaandrager
DOI：
10.1137/0217073
发表时间：
1988
期刊：
SIAM journal on computing (Print)
影响因子：
--
作者：
J. Bergstra;J. Klop;E. Olderog
通讯作者：
E. Olderog
可能的未来、接受、拒绝和沟通过程
DOI：
10.1109/sfcs.1981.36
发表时间：
1981
期刊：
22nd Annual Symposium on Foundations of Computer Science (sfcs 1981)
影响因子：
--
作者：
W. Rounds;S. Brookes
通讯作者：
S. Brookes
关于确定流程的准备就绪和失败等价
影响因子：
1
作者：
D. Huynh;Lu Tian
通讯作者：
Lu Tian
基本并行过程互模拟等价的可分解性、可判定性和公理化性
DOI：
10.1109/lics.1993.287569
发表时间：
1993
期刊：
[1993] Proceedings Eighth Annual IEEE Symposium on Logic in Computer Science
影响因子：
--
作者：
Søren Christensen;Y. Hirshfeld;F. Moller
通讯作者：
F. Moller