The chemical abstract machine
- 6 April 1992
- journal article
- Published by Elsevier in Theoretical Computer Science
- Vol. 96 (1) , 217-248
- https://doi.org/10.1016/0304-3975(92)90185-i
Abstract
No abstract availableKeywords
This publication has 10 references indexed in Scilit:
- The gamma model and its discipline of programmingScience of Computer Programming, 1990
- Linda in contextCommunications of the ACM, 1989
- A distributed operational semantics for CCS based on condition/event systemsActa Informatica, 1988
- A parallel machine for multiset transformation and its programming styleFuture Generation Computer Systems, 1988
- Extensional equivalences for transition systemsActa Informatica, 1987
- About fair asynchronyTheoretical Computer Science, 1985
- Higher-level synchronising devices in Meije-SCCSTheoretical Computer Science, 1985
- Testing equivalences for processesTheoretical Computer Science, 1984
- Sémantique des processus communicantsRAIRO. Informatique théorique, 1981
- The Mechanical Evaluation of ExpressionsThe Computer Journal, 1964