Formal biochemical space with semantics in Kappa and BNGL
From MaRDI portal
Publication:1744366
DOI10.1016/J.ENTCS.2016.09.017zbMATH Open1401.92076OpenAlexW2532622426WikidataQ113317656 ScholiaQ113317656MaRDI QIDQ1744366FDOQ1744366
Authors: T. Děd, M. Klement, D. Šafránek, Matej Troják, Jakub Šalagovič, Luboš Brim 
Publication date: 23 April 2018
Full work available at URL: https://doi.org/10.1016/j.entcs.2016.09.017
Recommendations
- Executable biochemical space for specification and analysis of biochemical systems
- A language for biochemical systems: design and formal specification
- Complex functional rates in rule-based languages for biochemistry
- Computational Methods in Systems Biology
- eBCSgen: a software tool for biochemical space language
Formal languages and automata (68Q45) Biochemistry, molecular biology (92C40) Semantics in the theory of computing (68Q55)
Cites Work
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- A language for biochemical systems: design and formal specification
- Formal molecular biology
- Abstract Interpretation of Cellular Signalling Networks
- Evolving BlenX programs to simulate the evolution of biological networks
- Compact representation of photosynthesis dynamics by rule-based models
Cited In (5)
- eBCSgen: a software tool for biochemical space language
- Executable biochemical space for specification and analysis of biochemical systems
- A language for biochemical systems: design and formal specification
- eBCSgen 2.0: modelling and analysis of regulated rule-based systems
- Computational Methods in Systems Biology
Uses Software
This page was built for publication: Formal biochemical space with semantics in Kappa and BNGL
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1744366)
