THE CHEMICAL ABSTRACT MACHINE

被引：359

作者：

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

共 50 条

[1] Programming with transactions and chemical abstract machine
Ma, WL
Johnson, CW
Brent, RP
SECOND INTERNATIONAL SYMPOSIUM ON PARALLEL ARCHITECTURES, ALGORITHMS, AND NETWORKS (I-SPAN '96), PROCEEDINGS, 1996, : 562 - 564
[2] A lambda evaluator on linear chemical abstract machine
Sato, S
Sugimoto, T
CONSTRUCTIVE METHODS FOR PARALLEL PROGRAMMING, 2002, 10 : 111 - 125
[3] On a probabilistic Chemical Abstract Machine and the expressiveness of Linda languages
Di Pierro, Alessandra
Hankin, Chris
Wiklicky, Herbert
FORMAL METHODS FOR COMPONENTS AND OBJECTS, 2006, 4111 : 388 - 407
[4] A study, of Abramsky's Linear Chemical Abstract Machine
Mikami, S
Akama, Y
TYPED LAMBDA CALCULI AND APPLICATIONS, 1999, 1581 : 243 - 257
[5] Describing Component Behavior Using Improved Chemical Abstract Machine
Chen, Jinfu
Li, Qing
Wang, Huanhuan
Huang, Rubing
2013 IEEE 37TH ANNUAL COMPUTER SOFTWARE AND APPLICATIONS CONFERENCE (COMPSAC), 2013, : 605 - +
[6] A Calculus for Interaction Nets Based on the Linear Chemical Abstract Machine
Mackie, Ian
Sato, Shinya
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 2008, 192 (03) : 59 - 70
[7] A Vulnerability Model Construction Method Based on Chemical Abstract Machine
LI Xiang
CHEN Jinfu
LIN Zhechao
ZHANG Lin
WANG Zibin
ZHOU Minmin
XIE Wanggen
WuhanUniversityJournalofNaturalSciences, 2018, 23 (02) : 150 - 162
[8] COMPONENT SECURITY TESTING APPROACH BASED ON EXTENDED CHEMICAL ABSTRACT MACHINE
Chen, Jinfu
Lu, Yansheng
Wang, Huanhuan
INTERNATIONAL JOURNAL OF SOFTWARE ENGINEERING AND KNOWLEDGE ENGINEERING, 2012, 22 (01) : 59 - 83
[9] FORMAL SPECIFICATION AND ANALYSIS OF SOFTWARE ARCHITECTURES USING THE CHEMICAL ABSTRACT MACHINE MODEL
INVERARDI, P
WOLF, AL
IEEE TRANSACTIONS ON SOFTWARE ENGINEERING, 1995, 21 (04) : 373 - 386
[10] Multimedia abstract machine
Shih, TK
INFORMATION SCIENCES, 1998, 107 (1-4) : 63 - 84

← 1 2 3 4 5 →