ELEMENTS OF INTERACTION - TURING AWARD LECTURE

被引：117
|
作者：
MILNER, R
机构：
来源：
COMMUNICATIONS OF THE ACM | 1993年 / 36卷 / 01期
关键词：
CCS; INTERACTION; NAMING AND REFERENCE; PI-CALCULUS; PROCESS ALGEBRA; PROCESS CALCULUS; REDUCTION RULE;
D O I：
10.1145/151233.151240
中图分类号：
TP3 [计算技术、计算机技术];
学科分类号：
0812 ;
摘要：
[No abstract available]
引用
收藏
页码：78 / 89
页数：12
相关论文
共 50 条
12345