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.
J. Krivine, R. Milner, A. Troina (2008). Stochastic Bigraphs. ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE, 218, 73-96 [10.1016/j.entcs.2008.10.006].
Stochastic Bigraphs
TROINA, ANGELO
2008
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.File in questo prodotto:
Eventuali allegati, non sono esposti
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.
