The chemical abstract machine
type: Item
instance of: scholarly article
title: The chemical abstract machine
zbMATH Open document ID: 0747.68013
DOI: 10.1016/0304-3975(92)90185-I
author: Gérard Boudol
author: Gérard Berry
published in: Theoretical Computer Science
publication date: 1992-09-26T00:00:00Z
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 68Q10
Mathematics Subject Classification ID: 68Q55
zbMATH DE Number: 55547
zbMATH Keywords: concurrent computations
zbMATH Keywords: models of concurrent computation
zbMATH Keywords: algebraic process calculi
zbMATH Keywords: mobile processes
zbMATH Keywords: concurrent \(\lambda\)-calculus
zbMATH Keywords: chemical abstract machine
describes a project that uses: UNITY
MaRDI profile type: Publication
cites work: Q3914421
cites work: The gamma model and its discipline of programming
cites work: The lambda calculus, its syntax and semantics
cites work: Q3205213
cites work: Q3700824
cites work: Q4692502
cites work: Q3785893
cites work: About fair asynchrony
cites work: Extensional equivalences for transition systems
cites work: Q4721641
cites work: Testing equivalences for processes
cites work: Higher-level synchronising devices in Meije-SCCS
cites work: A distributed operational semantics of CCS based on condition/event systems
cites work: Q4733391
cites work: Q3777424
cites work: The Mechanical Evaluation of Expressions
cites work: Q3992568
cites work: Q4038690
cites work: Q3878737
cites work: Q3219122
description: scientific article; zbMATH DE number 55547