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.
Type de document :
Rapport
[Research Report] RR-1133, INRIA. 1989
Liste complète des métadonnées

https://hal.inria.fr/inria-00075426
Contributeur : Rapport de Recherche Inria <>
Soumis le : mercredi 24 mai 2006 - 18:11:31
Dernière modification le : mardi 27 mars 2018 - 16:06:18
Document(s) archivé(s) le : mardi 12 avril 2011 - 23:05:42

Fichiers

Identifiants

  • HAL Id : inria-00075426, version 1

Collections

Citation

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

Partager

Métriques

Consultations de la notice

363

Téléchargements de fichiers

557