Skip to Main content Skip to Navigation

The chemical abstract machine

Abstract : Weintroducea new kind of abstract machine based on the chemical metaphor used in the G language of Banatre & al. 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. We also show how to extract a higher-order concurrent l-calculus out of the basic concepts of the chemical machine.
Document type :
Complete list of metadata
Contributor : Rapport de Recherche Inria Connect in order to contact the contributor
Submitted on : Wednesday, May 24, 2006 - 6:11:31 PM
Last modification on : Wednesday, November 17, 2021 - 12:30:58 PM
Long-term archiving on: : Tuesday, April 12, 2011 - 11:05:42 PM


  • HAL Id : inria-00075426, version 1


Gérard Berry, Gérard Boudol. The chemical abstract machine. [Research Report] RR-1133, INRIA. 1989. ⟨inria-00075426⟩



Record views


Files downloads