arXiv · 2002.00731
Executable Biochemical Space for Specification and Analysis of Biochemical Systems
Abstract
We present the second generation of a rule-based language called Biochemical Space Language (BCSL) that combines the advantages of different approaches and thus makes an effort to overcome several problems with existing solutions. The key aspect of the language is the level of abstraction it uses, which allows scalable and compact hierarchical specification of biochemical entities. This abstraction enables unique analysis techniques to reason about properties of models written in the language on the semantic and syntactic level.
Explore related subjects
Keep this discovery
Matej Troják, David Šafránek, Luboš Brim. 2020-01-21. Executable Biochemical Space for Specification and Analysis of Biochemical Systems. https://doi.org/10.1371/journal.pone.0238838
Cite the original work for its findings. Save a collection to share your selection of sources.