Rule-Based Modelling of Cellular Signalling

DOI10.1007/978-3-540-74407-8_3zbMath1151.68723OpenAlexW2611943439MaRDI QIDQ3525627

Jean Krivine, Walter Fontana, Jerome Feret, Russell S. Harmer, Vincent Danos

Publication date: 18 September 2008

Published in: CONCUR 2007 – Concurrency Theory (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-74407-8_3

Mathematics Subject Classification ID

Related Items (61)

Chromar, a rule-based language of parameterised objects ⋮ Unnamed Item ⋮ A Reversible Process Calculus and the Modelling of the ERK Signalling Pathway ⋮ Quantomatic: A Proof Assistant for Diagrammatic Reasoning ⋮ Combining Model Reductions ⋮ Rule-based programming for integrative biological modeling. Application to the modeling of the \(\lambda\) phage genetic switch ⋮ Reversible computation in nets with bonds ⋮ A process algebra framework for multi-scale modelling of biological systems ⋮ A collective interpretation semantics for reversing Petri nets ⋮ Computational modelling of the kinetic tile assembly model using a rule-based approach ⋮ Rewriting Theory for the Life Sciences: A Unifying Theory of CTMC Semantics ⋮ Fundamentals of compositional rewriting theory ⋮ Bonding calculus ⋮ Verifying chemical reaction network implementations: a pathway decomposition approach ⋮ Chromar, a language of parameterised agents ⋮ Exact hierarchical reductions of dynamical models via linear transformations ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Lumpability abstractions of rule-based systems ⋮ Stochastic simulation of multiple process calculi for biology ⋮ Unnamed Item ⋮ Ultrasensitivity in independent multisite systems ⋮ Incremental Update for Graph Rewriting ⋮ Lifted Bayesian Filtering in Multiset Rewriting Systems ⋮ Strategic port graph rewriting: an interactive modelling framework ⋮ Proving the absence of unbounded polymers in rule-based models ⋮ Refining Dynamics of Gene Regulatory Networks in a Stochastic π-Calculus Framework ⋮ Rule-based epidemic models ⋮ Reversible computation in nature inspired rule-based systems ⋮ Long lived transients in gene regulation ⋮ Stochastic transcription elongation via rule based modelling ⋮ A Process Model of Actin Polymerisation ⋮ Process Algebra with Hooks for Models of Pattern Formation ⋮ Relating PDEs in Cylindrical Coordinates and CTMCs with Levels of Concentration ⋮ Fragments-based Model Reduction: Some Case Studies ⋮ A Framework for Modelling and Simulating Networks of Cells ⋮ Control Flow Analysis of Generalised Boolean Networks ⋮ Tropical Geometries and Dynamics of Biochemical Networks Application to Hybrid Cell Cycle Models ⋮ Containment in Rule-Based Models ⋮ Computational self-assembly ⋮ Mathematical models for immunology: current state of the art and future research directions ⋮ Constraining rule-based dynamics with types ⋮ Equilibrium and termination II: the case of Petri nets ⋮ Stochastic Bigraphs ⋮ A Syntactic Abstraction for Rule-Based Languages with Binding ⋮ Formal Reduction for Rule-based Models ⋮ Bio-PEPA: A framework for the modelling and analysis of biological systems ⋮ Modular modelling of signalling pathways and their cross-talk ⋮ The Attributed Pi-Calculus with Priorities ⋮ A Language for Biochemical Systems: Design and Formal Specification ⋮ Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon ⋮ Efficient Turing-Universal Computation with DNA Polymers ⋮ How liquid is biological signalling? ⋮ Rigid geometric constraints for Kappa models ⋮ Sustainability of RNA-interference in rule based modelling ⋮ Process Algebra Modelling Styles for Biomolecular Processes ⋮ Bio-PEPAd: a non-Markovian extension of Bio-PEPA ⋮ Generalizing Gillespie's direct method to enable network-free simulations ⋮ Prospects for declarative mathematical modeling of complex biological systems ⋮ Intrinsic information carriers in combinatorial dynamical systems ⋮ Bigraphs and Their Algebra ⋮ Computational Software

This page was built for publication: Rule-Based Modelling of Cellular Signalling