The chemical abstract machine - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
Rapport (Rapport De Recherche) Année : 1989

The chemical abstract machine

Résumé

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.

Domaines

Autre [cs.OH]
Fichier principal
Vignette du fichier
RR-1133.pdf (1.19 Mo) Télécharger le fichier

Dates et versions

inria-00075426 , version 1 (24-05-2006)

Identifiants

  • HAL Id : inria-00075426 , version 1

Citer

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

Partager

Gmail Facebook X LinkedIn More