Biochemical Reaction Rules with Constraints

DOI10.1007/978-3-642-19718-5_18zbMath1326.68050OpenAlexW1958967754MaRDI QIDQ3000587

Mathias John, Cédric Lhoussaine, Joachim Niehren, Cristian Versari

Publication date: 19 May 2011

Published in: Programming Languages and Systems (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-19718-5_18

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Theory of programming languages (68N15) Biochemistry, molecular biology (92C40) Computational difficulty of problems (lower bounds, completeness, difficulty of approximation, etc.) (68Q17) Computational methods for problems pertaining to biology (92-08) Systems biology, networks (92C42)

Related Items (9)

Chromar, a rule-based language of parameterised objects ⋮ Nonlinear pattern matching in rule-based modeling languages ⋮ Chromar, a language of parameterised agents ⋮ Constructing and visualizing chemical reaction networks from pi-calculus models ⋮ Lifted Bayesian Filtering in Multiset Rewriting Systems ⋮ Modelling patterns of gene regulation in the bond-calculus ⋮ Formal Cellular Machinery ⋮ An algebraic approach for inferring and using symmetries in rule-based models ⋮ Semantics and Efficient Simulation Algorithms of an Expressive Multilevel Modeling Language

Uses Software

• BioNetGen
• SpiCO
• Dizzy

Cites Work

• On the computational power of BlenX
• Formal molecular biology
• BioAmbients: an abstraction for biological compartments
• The Attributed Pi-Calculus with Priorities
• Rule-Based Modeling of Transcriptional Attenuation at the Tryptophan Operon
• A Stochastic Pi Calculus for Concurrent Objects
• Computational Methods in Systems Biology
• A Core Calculus for a Comparative Analysis of Bio-inspired Calculi

This page was built for publication: Biochemical Reaction Rules with Constraints