Gérard Berry

We introduce a new kind of abstract machine based on the chemical metaphor used in the Γ language of Banâtre and Le Métayer. 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 λ-calculus out of the basic concepts of the chemical abstract machine.

Theoretical Computer Science 96(1), pages 217-248, April 1992, Elsevier Science B.V.
Author = {Berry, G{\'e}rard},
Doi = {10.1016/0304-3975(92)90185-I},
Journal = {Theoretical Computer Science},
Month = apr,
Number = 1,
Pages = {217--248},
Publisher = {Elsevier Science B.V.},
Title = {The Chemical Abstract Machine},
Volume = 96,
Year = 1992}


Publication Data

2011 © aliCE Research Group @ DEIS, Alma Mater Studiorum-Università di Bologna