Researchclopedia

Research Researchers Institutions Topics Submit About

Command Palette

Search for a command to run...

Researchclopedia

Research Researchers Institutions About

© 2026 Researchclopedia. Powered by OpenAlex under CC0 license.

Back to research

The chemical abstract machine

1992813 citationsJournal Article

Authors

Gérard Berry · Centre de Mathématiques Appliquées de l'École polytechnique

Gérard Boudol · Institut national de recherche en sciences et technologies du numérique

Topics & Keywords

Logic, programming, and type systems Logic, Reasoning, and Knowledge semigroups and automata theory

Publication Details

Published in: Theoretical Computer Science

Volume 96, Issue 1, pp. 217-248

DOI: 10.1016/0304-3975(92)90185-i

Field-Weighted Citation Impact: 28.31

The chemical abstract machine | Researchclopedia