| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
The Biochemical Abstract Machine {BIOCHAM}
Abstract : In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology. Biocham provides a precise semantics to biomolecular interaction maps. Based on this formal semantics, the Biocham system offers automated reasoning to ols for querying the temporal properties of the system under all its possible behavi ors. We present the main features of Biocham, provide details on a simple example of the MAPK signaling cascade and prove some results on the equivalence of model s w.r.t. their temporal properties.
Cited literature [22 references]
https://hal.inria.fr/inria-00000814
Contributor : Sylvain Soliman <>
Submitted on : Monday, November 21, 2005 - 3:05:24 PM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM
Document(s) archivé(s) le : Friday, April 2, 2010 - 7:47:58 PM
Contributor : Sylvain Soliman <>
Submitted on : Monday, November 21, 2005 - 3:05:24 PM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM
Document(s) archivé(s) le : Friday, April 2, 2010 - 7:47:58 PM