An Abstract Machine for the Stochastic Bioambient Calculus

Andrew Phillips

Abstract

This paper presents an abstract machine for the stochastic bioambient calculus. The abstract machine is proved sound and complete with respect to a novel stochastic semantics, and is also shown to preserve the reduction probabilities of the calculus. The machine is implemented as an extension to an existing simulator for stochastic pi-calculus.

Details

Publication typeArticle
Published inElectronic Notes in Theoretical Computer Science
URLhttp://dx.doi.org/10.1016/j.entcs.2008.12.109
Pages143-159
Volume227
PublisherElsevier
> Publications > An Abstract Machine for the Stochastic Bioambient Calculus