Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework

DOI10.1007/978-3-642-19748-2_8zbMath1326.92027OpenAlexW63598792MaRDI QIDQ3003509

Loïc Paulevé, Morgan Magnin, Olivier Roux

Publication date: 27 May 2011

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19748-2_8

Mathematics Subject Classification ID

Medical applications (general) (92C50) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Systems biology, networks (92C42)

Related Items (8)

Under-approximation of reachability in multivalued asynchronous networks ⋮ Static analysis of Biological Regulatory Networks dynamics using abstract interpretation ⋮ Modeling delayed dynamics in biological regulatory networks from time series data ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ Sufficient conditions for reachability in automata networks with priorities ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Static analysis and stochastic search for reachability problem ⋮ Identification of biological regulatory networks from process hitting models

Uses Software

• PRISM
• Bio-PEPA

Cites Work

• A calculus of mobile processes. I
• Application of a stochastic name-passing calculus to representation and simulation of molecular processes
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Rule-Based Modelling of Cellular Signalling
• Transactions on Computational Systems Biology IV
• Unnamed Item

This page was built for publication: Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework