19 citations · 86 across the 21 of their papers we have counts for
4 papers · 1 filter
Implementing the Stochastics Brane Calculus in a Generic Stochastic Abstract Machine
Marino Miculan, Ilaria Sambarino
In this paper, we deal with the problem of implementing an abstract machine for a stochastic version of the Brane Calculus. Instead of defining an ad hoc abstract machine, we consi…
Measurable Stochastics for Brane Calculus
Giorgio Bacci, Marino Miculan
We give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare. In this presentation, the semantics of a Brane process is a measure of…
A framework for protein and membrane interactions
Giorgio Bacci, Davide Grohmann, Marino Miculan
We introduce the BioBeta Framework, a meta-model for both protein-level and membrane-level interactions of living cells. This formalism aims to provide a formal setting where to en…
Bigraphical models for protein and membrane interactions
Giorgio Bacci, Davide Grohmann, Marino Miculan
We present a bigraphical framework suited for modeling biological systems both at protein level and at membrane level. We characterize formally bigraphs corresponding to biological…