THE CHEMICAL ABSTRACT MACHINE

被引：362

作者：

BERRY, G ^{[1
]}

BOUDOL, G ^{[1
]}

机构：

[1] INRIA, F-06560 VALBONNE, FRANCE

来源：

THEORETICAL COMPUTER SCIENCE | 1992年 / 96卷 / 01期

关键词：

D O I：

10.1016/0304-3975(92)90185-I

中图分类号：

TP301 [理论、方法];

学科分类号：

081202 ;

摘要：

We introduce a new kind of abstract machine based on the chemical metaphor used in the GAMMA-language of Banatre and Le Metayer. States of a machine are chemical solutions where floating molecules can interact according to reaction rules. Solutions can be stratified by encapsulating subsolutions within membranes that force reactions to occur locally. We illustrate the use of this model by describing the operational semantics of the TCCS and CCS process calculi and of the fragment of Milner, Parrow and Walker's Calculus of Mobile Processes used by Milner to encode the lambda-calculus. We also give ideas on how to extract a higher-order concurrent lambda-calculus out of the basic concepts of the chemical abstract machine.

引用

页码：217 / 248

页数：32

共 30 条

[1]

ABADI M, 1990, 17 ANN ACM S PRINC P, P31

[2]

ABRAMSKY S, 1989, RES TOPICS FUNCTIONA, P65

[3]

ARNOLD A, 1981, RAIRO-INF THEOR APPL, V15, P103

[4] Parallel machine for multiset transformation and its programming style [J].

Banatre, J.-P. ;

Coutant, A. ;

Le Metayer, D. .

Future Generation Computer Systems, 1988, 4 (02) :133-144

[5] THE GAMMA MODEL AND ITS DISCIPLINE OF PROGRAMMING [J].

BANATRE, JP ;

LEMETAYER, D .

SCIENCE OF COMPUTER PROGRAMMING, 1990, 15 (01) :55-77

[6]

BARENDREGT H, 1981, STUDIES LOGIC, V103

[7]

BERRY G, 1978, 3RD PROGR TRANSF INT, P67

[8]

BOUDOL G, 1989, LECT NOTES COMPUT SC, V351, P149

[9]

BOUDOL G, 1985, NATO ASI SERIES F, V13, P261

[10] LINDA IN CONTEXT [J].

CARRIERO, N ;

GELERNTER, D .

COMMUNICATIONS OF THE ACM, 1989, 32 (04) :444-458

← 1 2 3 →