THE CHEMICAL ABSTRACT MACHINE
THE CHEMICAL ABSTRACT MACHINE
复制标题
DOI：
10.1016/0304-3975(92)90185-i
复制
发表时间：
1992-04-06
影响因子：
1.1
通讯作者：
BOUDOL, G
中科院分区：
文献类型：
--
作者：
BERRY, G;BOUDOL, G
我们介绍了一种新的抽象机器的基础上使用的化学隐喻的Gamma语言的Banquet和Le Metayer。机器的状态是化学溶液，其中浮动分子可以根据反应规则相互作用。溶液可以通过将亚溶液封装在膜内而分层，膜迫使反应局部发生。我们说明了这个模型的使用，通过描述的TCCS和CCS进程演算的操作语义和片段的米尔纳，Parrow和步行者的演算的移动的进程所使用的米尔纳的编码的可编程演算。我们还给出了如何从化学抽象机的基本概念中提取高阶并发的代数演算的想法。
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.