Stochastic Bigraphs

Authors:
Jean Krivine;Robin Milner;Angelo Troina
Affiliations:
Harvard Medical School, Systems Biology Department, 200 Longwood Avenue 02115 Boston MA, United States;The Computer Laboratory, University of Cambridge, JJ Thomson Avenue, Cambridge CB3 0FD, United Kingdom;Dipartimento di Informatica, Università di Torino, Corso Svizzera 185, 10149 Torino, Italy
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2008

Citing 14
Cited 20

A compositional approach to performance modelling

A compositional approach to performance modelling
Communicating and mobile systems: the &pgr;-calculus

Communicating and mobile systems: the &pgr;-calculus
Mobile ambients

Theoretical Computer Science
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Probabilistic symbolic model checking with PRISM: a hybrid approach

International Journal on Software Tools for Technology Transfer (STTT) - Special section on tools and algorithms for the construction and analysis of systems
Formal molecular biology

Theoretical Computer Science - Special issue: Computational systems biology
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
Pure bigraphs: structure and dynamics

Information and Computation
A Calculus of Looping Sequences for Modelling Microbiological Systems

Fundamenta Informaticae - SPECIAL ISSUE ON CONCURRENCY SPECIFICATION AND PROGRAMMING (CS&P 2005) Ruciane-Nide, Poland, 28-30 September 2005
Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

Transactions on Computational Systems Biology IX
Efficient, correct simulation of biological processes in the stochastic pi-calculus

CMSB'07 Proceedings of the 2007 international conference on Computational methods in systems biology
Scalable simulation of cellular signaling networks

APLAS'07 Proceedings of the 5th Asian conference on Programming languages and systems
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Rule-based modelling of cellular signalling

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

Stochastic Calculus of Looping Sequences for the Modelling and Simulation of Cellular Pathways

Transactions on Computational Systems Biology IX
Spatial Calculus of Looping Sequences

Electronic Notes in Theoretical Computer Science (ENTCS)
Dynamic Compartments in the Imperative Π-Calculus

CMSB '09 Proceedings of the 7th International Conference on Computational Methods in Systems Biology
The space and motion of communicating agents author: Robin Milner publisher: cambridge university press, 2009 isbn 978-0-521-73833-0

ACM SIGACT News
Towards Measurable Types for Dynamical Process Modeling Languages

Electronic Notes in Theoretical Computer Science (ENTCS)
The Calculus of Context-aware Ambients

Journal of Computer and System Sciences
Rule-based modeling of transcriptional attenuation at the tryptophan operon

Winter Simulation Conference
Coloured stochastic multilevel multiset rewriting

Proceedings of the 9th International Conference on Computational Methods in Systems Biology
Spatial Calculus of Looping Sequences

Theoretical Computer Science
The attributed pi-calculus with priorities

Transactions on Computational Systems Biology XII
Rule-Based modeling of transcriptional attenuation at the tryptophan operon

Transactions on Computational Systems Biology XII
Formally modeling the electricity grid with bigraphs

Proceedings of the Seventh Annual Workshop on Cyber Security and Information Intelligence Research
Simulation techniques for the calculus of wrapped compartments

Theoretical Computer Science
Typed stochastic semantics for the calculus of looping sequences

Theoretical Computer Science
Formal Cellular Machinery

Electronic Notes in Theoretical Computer Science (ENTCS)
Containment in Rule-Based Models

Electronic Notes in Theoretical Computer Science (ENTCS)
Incomputability in physics and biology

Mathematical Structures in Computer Science
A verification environment for bigraphs

Innovations in Systems and Software Engineering
Thermodynamic graph-rewriting

CONCUR'13 Proceedings of the 24th international conference on Concurrency Theory
Real-time verification of wireless home networks using bigraphs with sharing

Science of Computer Programming

Quantified Score

Hi-index	0.00

Visualization

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.