A generic abstract machine for stochastic process calculi


This paper presents a generic abstract machine for simulating a broad range of process calculi with an arbitrary reaction-based simulation algorithm. The abstract machine is instantiated to a particular calculus by defining two functions: one for transforming a process of the calculus to a set of species, and another for computing the set of possible… (More)
DOI: 10.1145/1839764.1839771


3 Figures and Tables

Slides referencing similar topics