Process passing calculus, revisited
Process passing calculus, revisited
复制标题
重新审视过程传递微积分
DOI：
10.1007/s12204-013-1365-6
复制
发表时间：
2013-01
期刊：
影响因子：
--
通讯作者：
Huan Long
中科院分区：
文献类型：
--
作者：
Qiang Yin;Huan Long
在进程演算的背景下，高阶π演算（Λ演算）由于其转移进程的能力而突出和流行。基于对过程论的综合研究，本文对Λ演算进行了系统的研究，
In the context of process calculi, higher order π calculus (Λ calculus) is prominent and popular due to its ability to transfer processes. Motivated by the attempt to study the process theory in an integrated way, we give a system study of Λ calculus with
登录
查看更多内容
DOI：
10.1007/3-540-56610-4_62
发表时间：
1993-04
期刊：
--
影响因子：
--
作者：
D. Sangiorgi
通讯作者：
D. Sangiorgi
DOI：
--
发表时间：
1989
期刊：
--
影响因子：
--
作者：
R. Milner
通讯作者：
R. Milner
影响因子：
1
作者：
Gorla, Daniele
通讯作者：
Gorla, Daniele
DOI：
--
发表时间：
2015-08
期刊：
ArXiv
影响因子：
--
作者：
Yuxi Fu;Han Zhu
通讯作者：
Yuxi Fu;Han Zhu
DOI：
--
发表时间：
1990
期刊：
--
影响因子：
--
作者：
Bent Thomsen
通讯作者：
Bent Thomsen