This paper explains by a series of examples the use of the notion of a Chemical Abstract Machine. This is a framework for parailel computations which builds upon the chemical metaphor of Bantre and Le Métayer. We first illustrate the CHAM style by describing the operational semantics of process calculi constructs. Then we apply our approach to the λ-calculus, designing a CHAM for the weak β-reduction with sharing, and specializing it into a CHAM for the call-by-need reduction strategy. Our last example is the π-calculus. We discuss the notions of “asynchronous” and “fully asynchronous” reductions, and some π-calculus encodings of the λ-calculus.
CITATION STYLE
Boudol, G. (1994). Some chemical abstract machines. In Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics) (Vol. 803 LNCS, pp. 92–123). Springer Verlag. https://doi.org/10.1007/3-540-58043-3_18
Mendeley helps you to discover research relevant for your work.