Journal
ELECTRONIC NOTES IN THEORETICAL COMPUTER SCIENCE
Volume 350, Issue -, Pages 91-116Publisher
ELSEVIER
DOI: 10.1016/j.entcs.2020.06.006
Keywords
rule-based modelling; formal specification; static analysis
Categories
Funding
- Czech Science Foundation [18-00178S]
- Czech National Infrastructure grant [LM2015055]
Ask authors/readers for more resources
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.
Authors
I am an author on this paper
Click your name to claim this paper and add it to your profile.
Reviews
Recommended
No Data Available