Stochastic Bigraphs

Jean Krivine; Robin Milner; Angelo Troina

doi:10.1016/j.entcs.2008.10.006

Stochastic Bigraphs

Jean Krivine, Robin Milner, Angelo Troina

Research output: Contribution to journal › Article › peer-review

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.

Original language	English
Pages (from-to)	73-96
Number of pages	24
Journal	Electronic Notes in Theoretical Computer Science
Volume	218
DOIs	https://doi.org/10.1016/j.entcs.2008.10.006
Publication status	Published - Oct 2008

Keywords

Directed bigraph
stochastic semantics
membrane budding

Access to Document

10.1016/j.entcs.2008.10.006

Stochastic BigraphsFinal published version, 568 KB

http://www.sciencedirect.com/science/article/pii/S1571066108004003#

Cite this

@article{fa14f93c411e4fa193eec0be92033b78,

title = "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.",

keywords = "Directed bigraph, stochastic semantics, membrane budding",

author = "Jean Krivine and Robin Milner and Angelo Troina",

year = "2008",

month = oct,

doi = "10.1016/j.entcs.2008.10.006",

language = "English",

volume = "218",

pages = "73--96",

journal = "Electronic Notes in Theoretical Computer Science",

issn = "1571-0661",

publisher = "Elsevier",

}

TY - JOUR

T1 - Stochastic Bigraphs

AU - Krivine, Jean

AU - Milner, Robin

AU - Troina, Angelo

PY - 2008/10

Y1 - 2008/10

N2 - 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.

AB - 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.

KW - Directed bigraph

KW - stochastic semantics

KW - membrane budding

U2 - 10.1016/j.entcs.2008.10.006

DO - 10.1016/j.entcs.2008.10.006

M3 - Article

VL - 218

SP - 73

EP - 96

JO - Electronic Notes in Theoretical Computer Science

JF - Electronic Notes in Theoretical Computer Science

SN - 1571-0661

ER -

Stochastic Bigraphs

Abstract

Keywords

Access to Document

Fingerprint

Cite this