Skip to Main content Skip to Navigation
Conference papers

Stochastic Bigraphs

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.
Complete list of metadatas

Cited literature [23 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-00530712
Contributor : Jean Krivine <>
Submitted on : Monday, April 30, 2012 - 12:57:12 PM
Last modification on : Saturday, March 28, 2020 - 2:24:18 AM
Long-term archiving on: : Tuesday, July 31, 2012 - 2:20:07 AM

File

KriMilTro08.pdf
Files produced by the author(s)

Identifiers

  • HAL Id : hal-00530712, version 1

Collections

Citation

Jean Krivine, Robin Milner, Angelo Troina. Stochastic Bigraphs. Mathematical foundation of programming semantics 2008, 2008, United States. pp.73-96. ⟨hal-00530712⟩

Share

Metrics

Record views

129

Files downloads

65