Encoding Distributed Process Calculi into LMNtaI
Encoding Distributed Process Calculi into LMNtaI
复制标题
将分布式过程计算编码为 LMNtaI
DOI：
--
复制
发表时间：
2008
期刊：
影响因子：
--
通讯作者：
Ueda K.
中科院分区：
文献类型：
--
作者：
Murayama;K.;Kudo;S.;Sakurai;K.;Mizuno;K.;Kato;N.;Ueda;K.;Ueda K.
登录
查看更多内容
它是混合选择的“好”编码吗？
DOI：
--
发表时间：
2012
期刊：
Foundations of Software Science and Computation Structure
影响因子：
--
作者：
Kirstin Peters;U. Nestmann
通讯作者：
U. Nestmann
DOI：
--
发表时间：
2021
期刊：
--
影响因子：
--
作者：
通讯作者：
--
2008 年计算机科学数学基础，第 33 届国际研讨会，MFCS 2008，波兰托伦，2008 年 8 月 25-29 日，论文集
DOI：
--
发表时间：
2008
期刊：
International Symposium on Mathematical Foundations of Computer Science
影响因子：
--
作者：
E. Ochmanski;Jerzy Tyszkiewicz
通讯作者：
Jerzy Tyszkiewicz
联合演算的一些结果
DOI：
--
发表时间：
1997
期刊：
Theoretical Aspects of Computer Software
影响因子：
--
作者：
J. Lévy
通讯作者：
J. Lévy
异步 Pi 演算中的同步性与因果性
影响因子：
0.6
作者：
Kirstin Peters;Jens;U. Nestmann
通讯作者：
U. Nestmann