A generic abstract machine for stochastic process calculi

Abstract

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

Topics

3 Figures and Tables

Slides referencing similar topics