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

https://hal.inria.fr/inria-00000814
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

Identifiers

  • HAL Id : inria-00000814, version 1

Collections

Citation

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⟩

Share

Metrics

Record views

2626

Files downloads

21622