OBJECTS IN THE PI-CALCULUS

被引：68
作者：
WALKER, D
机构：
[1] Department of Computer Science, University of Warwick, Coventry
来源：
INFORMATION AND COMPUTATION | 1995年 / 116卷 / 02期
关键词：
D O I：
10.1006/inco.1995.1018
中图分类号：
TP301 [理论、方法];
学科分类号：
081202 ;
摘要：
Two semantics for a parallel object-oriented programming language are presented. One is a two-level transitional semantics in which the global behaviour of a system is derived directly from the possible actions of its constituent objects. The other is by translation into the pi-calculus. A close correspondence between the semantics is established. (C) 1995 Academic Press, Inc.
引用
收藏
页码：253 / 271
页数：19
相关论文
共 18 条
[1]   DENOTATIONAL SEMANTICS OF A PARALLEL OBJECT-ORIENTED LANGUAGE [J].
AMERICA, P ;
DEBAKKER, J ;
KOK, JN ;
RUTTEN, J .
INFORMATION AND COMPUTATION, 1989, 83 (02) :152-205
[2]  
AMERICA P, 1989, LECTURE NOTES COMPUT, V276, P234
[3]  
AMERICA P, 1986, 13TH S PRINC PROGR L, P194
[4]  
AMERICA PHM, 1989, FORM ASP COMPUT, V1, P366
[5]  
Milner R., 1989, Communication and concurrency
[6]   A CALCULUS OF MOBILE PROCESSES .2. [J].
MILNER, R ;
PARROW, J ;
WALKER, D .
INFORMATION AND COMPUTATION, 1992, 100 (01) :41-77
[7]   A CALCULUS OF MOBILE PROCESSES .2. [J].
MILNER, R ;
PARROW, J ;
WALKER, D .
INFORMATION AND COMPUTATION, 1992, 100 (01) :41-77
[8]  
MILNER R, 1990, SORTS TYPES PI CALCU
[9]  
MILNER R, 1991, LECT NOTES COMPUT SC, V527, P45
[10]  
MILNER R, 1980, LECTURE NOTES COMPUT, V92
12