On parameterization of higher-order processes
On parameterization of higher-order processes
复制标题
高阶过程的参数化
DOI：
10.1080/00207160.2016.1210793
复制
发表时间：
2017-07
影响因子：
1.8
通讯作者：
Long Huan
中科院分区：
文献类型：
--
作者：
Yin Qiang;Xu Xian;Long Huan
摘要参数化提供了一种有效的方法来提高过程通行的表现力。在本文中，我们研究了两种参数化：名称参数化和过程参数化。首先，我们显示该过程参数
ABSTRACT Parameterization provides an effective way to improve on the expressiveness of process-passing. In this paper, we study two kinds of parameterization: name parameterization and process parameterization. Firstly, we show that process parameterization retains the characterization of context bisimulation in terms of the far simpler normal bisimulation, in which universal quantifiers are eliminated. Secondly, we prove that name parameterization is at least as expressive as process parameterization by giving an encoding from the higher-order calculus with process parameterization into the higher-order calculus with name parameterization. These results clarify further the theoretical framework of higher-order processes, and shed light on the relationship between the two kinds of parameterization.
登录
查看更多内容
DOI：
10.3233/fi-2009-138
发表时间：
2008-06
期刊：
--
影响因子：
--
作者：
R. Meyer;Victor Khomenko;T. Strazny
通讯作者：
R. Meyer;Victor Khomenko;T. Strazny
DOI：
10.1016/j.entcs.2008.04.011
发表时间：
2008-04
期刊：
--
影响因子：
--
作者：
J. Parrow
通讯作者：
J. Parrow
影响因子：
0.5
作者：
D. Sangiorgi
通讯作者：
D. Sangiorgi
DOI：
10.2168/lmcs-1(1:4)2005
发表时间：
2005-03
期刊：
ArXiv
影响因子：
--
作者：
A. Jeffrey;J. Rathke
通讯作者：
A. Jeffrey;J. Rathke
DOI：
10.1145/263699.263731
发表时间：
1998-09
期刊：
ArXiv
影响因子：
--
作者：
C. Palamidessi
通讯作者：
C. Palamidessi