An algorithm for the identification of components in biochemical pathways

DOI10.1016/j.entcs.2013.11.007zbMath1337.92066OpenAlexW2009550013WikidataQ113317940 ScholiaQ113317940MaRDI QIDQ276001

Paolo Milazzo, Andrea Maggiolo-Schettini, Giovanni Pardini

Publication date: 26 April 2016

Full work available at URL: https://doi.org/10.1016/j.entcs.2013.11.007

zbMATH Keywords

formal methodsbiochemical pathwaysmodular modeling

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items

Component identification in biochemical pathways, Identification of components in biochemical pathways: extensive aqpplication to SBML models

Uses Software

• Bio-PEPA
• BIOCHAM
• Celldesigner
• PEPA

Cites Work

• Unnamed Item
• Identification of components in biochemical pathways: extensive aqpplication to SBML models
• Processes in space
• Foundational aspects of multiscale modeling of biological systems with process algebras
• Spatial P systems
• Spatial calculus of looping sequences
• Compositional semantics and behavioral equivalences for P systems
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Probabilistic model checking of complex biological pathways
• Bisimulation Congruences in the Calculus of Looping Sequences
• A Compositional Semantics of Reaction Systems with Restriction