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 条

[1] Turing Lecture from the winners of the 2007 ACM AM Turing Award
Vardi, Moshe Y.
[J]. COMMUNICATIONS OF THE ACM, 2009, 52 (11) : 74 - 74
[2] TURING AWARD LECTURE - COCKE,JOHN - 1987 ACM AM TURING AWARD RECIPIENT - INTRODUCTION
PELED, A
[J]. COMMUNICATIONS OF THE ACM, 1988, 31 (03) : 249 - 249
[3] GENERALITY IN ARTIFICIAL-INTELLIGENCE - TURING AWARD LECTURE
MCCARTHY, J
[J]. COMMUNICATIONS OF THE ACM, 1987, 30 (12) : 1030 - 1035
[4] Turing it's time to award reconsider time lecture
Stearns, Richard Edwin
[J]. Communications of the ACM, 1994, 37 (11) : 95 - 99
[5] TURING-AWARD LECTURE - ON COMPUTATIONAL-COMPLEXITY AND THE NATURE OF COMPUTER-SCIENCE
HARTMANIS, J
[J]. COMMUNICATIONS OF THE ACM, 1994, 37 (10) : 37 - 43
[6] And the Turing Award goes to…
[J]. Nature Computational Science, 2022, 2 : 207 - 207
[7] Turing Memorial Lecture
Donofrio, N
[J]. COMPUTER JOURNAL, 2001, 44 (02): : 67 - 74
[8] Might Turing Have Won a Turing Award?
Lipton, Richard J.
[J]. COMPUTER, 2012, 45 (06) : 96 - 97
[9] And the Turing Award goes to ...
不详
[J]. NATURE COMPUTATIONAL SCIENCE, 2022, 2 (04): : 207 - 207
[10] Would Turing Have Won the Turing Award?
Vardi, Moshe Y.
[J]. COMMUNICATIONS OF THE ACM, 2017, 60 (11) : 7 - 7

← 1 2 3 4 5 →