A CALCULUS OF MOBILE PROCESSES .2.

被引：314

作者：

MILNER, R

PARROW, J

WALKER, D

机构：

[1] SWEDISH INST COMP SCI,KISTA,SWEDEN

[2] UNIV WARWICK,COVENTRY CV4 7AL,W MIDLANDS,ENGLAND

来源：

INFORMATION AND COMPUTATION | 1992年 / 100卷 / 01期

关键词：

D O I：

10.1016/0890-5401(92)90009-5

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

This is the second of two papers in which we present the π-calculus, a calculus of mobile processes. We provide a detailed presentation of some of the theory of the calculus developed to date, and in particular we establish most of the results stated in the companion paper. © 1992.

引用

页码：41 / 77

页数：37