Stochastic Bigraphs

Jean Krivine (1) , Robin Milner (2) , Angelo Troina (3)

1 PPS - Preuves, Programmes et Systèmes
2 Computer Laboratory [Cambridge]
3 Dipartimento di Informatica [Torino]

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.

Domaines: Bio-informatique [q-bio.QM]; Bio-Informatique, Biologie Systémique [q-bio.QM]; Informatique ubiquitaire; Système multi-agents [cs.MA]; Calcul parallèle, distribué et partagé [cs.DC]; Modélisation et simulation

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