A Compositional Semantics of Combining Formsfor Gamma Programs

Abstract

The Gamma model is a minimal programming language based on local multi-set rewriting (with an elegant chemical reaction metaphor); Hankin et al derived a calculus of Gamma programs built from basic reactions and two composition operators , and applied it to the study of relationships between parallel and sequential program composition, and related program… (More)

Topics

Figures and Tables

Sorry, we couldn't extract any figures or tables for this paper.

Slides referencing similar topics