ELEMENTS OF INTERACTION - TURING AWARD LECTURE

被引：120

作者：

MILNER, R

机构：

来源：

关键词：

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

共 39 条

[1] A DOMAIN EQUATION FOR BISIMULATION [J].

ABRAMSKY, S .

[2]

Agha GA, 1990, ACTORS MODEL CONCURR

[3]

ASTESIANO E, 1984, J THEOR COMPUT SCI, V33, P45

[4]

Baeten J. C. M., 1990, PROCESS ALGEBRA

[5]

BOHM C, 1985, THEOR COMPUT SCI, V39, P135, DOI 10.1016/0304-3975(85)90135-5

[6]

BRINKSMA E, 1988, THESIS U TWENTE

[7] A THEORY OF COMMUNICATING SEQUENTIAL PROCESSES [J].

BROOKES, SD ;

HOARE, CAR ;

ROSCOE, AW .

[8]

CHURCH A, 1946, CALCULI LAMBDA CONVE

[9]

ENGBERG U, 1986, DAIMI PB208 U ARH CO

[10] THE SYSTEM-F OF VARIABLE TYPES, 15 YEARS LATER [J].

GIRARD, JY .