Measurable stochastics for Brane Calculus

详细信息    查看全文

• 作者：Giorgio Bacci ^{giorgio.bacci@uniud.it} ; Marino Miculan ; ^{marino.miculan@uniud.it}
• 关键词：Brane Calculus ; Structural operational semantics ; Stochastic semantics ; Markov processes ; Rate bisimilarity ; Systems biology
• 刊名：Theoretical Computer Science
• 出版年：2012
• 出版时间：4 May, 2012
• 年：2012
• 卷：431
• 期：Complete
• 页码：117-136
• 全文大小：349 K

文摘

The main aim of this work is to give a stochastic extension of the Brane Calculus, along the lines of recent work by Cardelli and Mardare (2010) . In this approach, the semantics of a process is a measure of the stochastic distribution of possible derivations. To this end, we first introduce a compositional, finitely branching labelled transition system for Brane Calculus; interestingly, the associated strong bisimulation is a congruence. Then, we give a stochastic semantics to Brane systems by defining them as Markov processes over the measurable space generated by terms up-to syntactic congruence, and where the measures are indexed by the actions of this new LTS. Finally, we provide an SOS presentation of this stochastic semantics, which is compositional and syntax-driven, and moreover the induced rate bisimilarity is a congruence.