| Article ID | Journal | Published Year | Pages | File Type |
|---|---|---|---|---|
| 422042 | Electronic Notes in Theoretical Computer Science | 2008 | 24 Pages |
Abstract
In this paper we present a stochastic semantics for Bigraphical Reactive Systems. A reduction and a labelled stochastic semantics for bigraphs are defined. As a sanity check, we prove that the two semantics are consistent with each other. We illustrate the expressiveness of the framework with an example of membrane budding in a biological system.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics
