Robin Milner's Work on Concurrency

被引：0

作者：

Abramsky, Samson ^{[1
]}

机构：

[1] Univ Oxford, Comp Lab, Wolfson Bldg,Parks Rd, Oxford OX1 3QD, England

来源：

关键词：

Concurrency; process algebra; CCS; p-calculus; bigraphs;

D O I：

10.1016/j.entcs.2010.08.002

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We give a short appreciation of Robin Milner's seminal contributions to the theory of concurrency.

引用

页码：5 / 10

页数：6