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..

@article{cham-tcs96,
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}
Tags:

Publication

— authors

Gérard Berry

— status

published

— sort

article in journal

Venue

— journal

Theoretical Computer Science

— volume

96

— issue

1

— pages

217-248

— publication date

April 1992

Identifiers

— DOI

10.1016/0304-3975(92)90185-I

BibTeX

— BibTeX ID
cham-tcs96
— BibTeX category
article

Partita IVA: 01131710376 - Copyright © 2008-2021 APICe@DISI Research Group - PRIVACY