On the Interactive Power of Higher-order Processes Extended with Parameterization
On the Interactive Power of Higher-order Processes Extended with Parameterization
复制标题
论参数化扩展的高阶过程的交互能力
DOI：
10.1007/s00165-020-00524-1
复制
发表时间：
2020-12
影响因子：
1
通讯作者：
Huan Long
中科院分区：
文献类型：
--
作者：
Wenbo Zhang;Xian Xu;Qiang Yin;Huan Long
本文研究了随着参数化扩展的高阶PI-Calculus的交互功率。我们研究两种参数化：名称参数化和过程参数化。我们证明了每种参数化
This paper investigates the interactive power of the higher-order pi-calculus extended with parameterization. We study two kinds of parameterization: name parameterization and process parameterization. We show that each of these kinds of parameterization
登录
查看更多内容
DOI：
10.1016/j.tcs.2015.07.043
发表时间：
2016-01
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
Yuxi Fu
通讯作者：
Yuxi Fu
DOI：
10.1109/lics.2006.39
发表时间：
2006-08
期刊：
21st Annual IEEE Symposium on Logic in Computer Science (LICS'06)
影响因子：
--
作者：
C. Palamidessi;V. Saraswat;F. Valencia;B. Victor
通讯作者：
C. Palamidessi;V. Saraswat;F. Valencia;B. Victor
DOI：
10.1007/978-3-319-89366-2_10
发表时间：
2018-04
期刊：
ArXiv
影响因子：
--
作者：
R. V. Glabbeek
通讯作者：
R. V. Glabbeek
DOI：
10.1016/0304-3975(84)90102-6
发表时间：
1984
期刊：
Theor. Comput. Sci.
影响因子：
--
作者：
E. Astesiano;E. Zucca
通讯作者：
E. Astesiano;E. Zucca
DOI：
10.1145/263699.263731
发表时间：
1998-09
期刊：
ArXiv
影响因子：
--
作者：
C. Palamidessi
通讯作者：
C. Palamidessi