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 <>
Submitted on : Monday, November 21, 2005 - 3:05:24 PM
Last modification on : Monday, September 24, 2018 - 2:00:04 PM
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