Formal biochemical space with semantics in Kappa and BNGL

DOI10.1016/j.entcs.2016.09.017zbMath1401.92076OpenAlexW2532622426WikidataQ113317656 ScholiaQ113317656MaRDI QIDQ1744366

T. Děd, M. Klement, Jakub Šalagovič, David Šafránek, Matej Troják, Luboš Brim

Publication date: 23 April 2018

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

zbMATH Keywords

CMPbiochemical spacecyanobacteria processesKappa

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40) Semantics in the theory of computing (68Q55)

Related Items (1)

Executable biochemical space for specification and analysis of biochemical systems

Uses Software

• Bio-PEPA
• BioNetGen
• LBS
• BlenX
• KEGG

Cites Work

• Evolving BlenX programs to simulate the evolution of biological networks
• Formal molecular biology
• Bio-PEPA: A framework for the modelling and analysis of biological systems
• Compact representation of photosynthesis dynamics by rule-based models
• A Language for Biochemical Systems: Design and Formal Specification
• Abstract Interpretation of Cellular Signalling Networks

This page was built for publication: Formal biochemical space with semantics in Kappa and BNGL