An Abstract Machine for the Stochastic Bioambient calculus | Zendy

Andrew Phillips | Zendy

AI Assistant Blog Pricing

Home ZAIA Blog

Open Access

An Abstract Machine for the Stochastic Bioambient calculus

Author(s) -

Andrew Phillips

Publication year - 2009

Publication title -

electronic notes in theoretical computer science

Language(s) - English

Resource type - Journals

SCImago Journal Rank - 0.242

H-Index - 60

ISSN - 1571-0661

DOI - 10.1016/j.entcs.2008.12.109

Subject(s) - calculus (dental) , stochastic calculus , extension (predicate logic) , computer science , semantics (computer science) , abstract machine , pi calculus , mathematics , algorithm , programming language , differential equation , mathematical analysis , medicine , stochastic partial differential equation , dentistry

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

The content you want is available to Zendy users.

Already have an account? Click here to sign in.

Having issues? You can contact us here

Accelerating Research