Stochastic Bigraphs

Jean Krivine, Robin Milner, Angelo Troina

Research output: Contribution to journalArticlepeer-review

Abstract / Description of output

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 languageEnglish
Pages (from-to)73-96
Number of pages24
JournalElectronic Notes in Theoretical Computer Science
Publication statusPublished - Oct 2008

Keywords / Materials (for Non-textual outputs)

  • Directed bigraph
  • stochastic semantics
  • membrane budding


Dive into the research topics of 'Stochastic Bigraphs'. Together they form a unique fingerprint.

Cite this