The System BioC for Reasoning about Biological Models in Action Language C


We elaborate upon the usage of action language C for representing and reasoning about biological models. First, we provide a simple extension of C allowing for variables and show its usefulness in modeling biochemical reactions according to the well-known model of BIOCHAM. Second, we show how the biological action description language C<sub>TAID</sub> can… (More)
DOI: 10.1109/ICTAI.2008.69


6 Figures and Tables

Slides referencing similar topics