Stochastic Bigraphs

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.

• Type: Journal
• Year: 2008
• Where: ENTCS
• Authors: Jean Krivine, Robin Milner, Angelo Troina
• Keywords: Bigraphical Reactive Systems, ENTCS 2008, Labelled Stochastic Semantics, Stochastic Semantics