HAL will be down for maintenance from Friday, June 10 at 4pm through Monday, June 13 at 9am. More information
Skip to Main content Skip to Navigation
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.
Document type :
Conference papers
Complete list of metadata

Cited literature [22 references]  Display  Hide  Download

Contributor : Sylvain Soliman Connect in order to contact the contributor
Submitted on : Monday, November 21, 2005 - 3:05:24 PM
Last modification on : Thursday, February 3, 2022 - 11:14:18 AM
Long-term archiving on: : Friday, April 2, 2010 - 7:47:58 PM


  • HAL Id : inria-00000814, version 1



Nathalie Chabrier-Rivier, Francois Fages, Sylvain Soliman. The Biochemical Abstract Machine {BIOCHAM}. : Proceedings of the second Workshop on Computational Methods in Systems Biology, 2004, Paris, pp.172--191. ⟨inria-00000814⟩



Record views


Files downloads