Filters








2 Hits in 1.2 sec

Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM

F Fages
2002 Journal of Biological Physics and Chemistry  
Based on this formal semantics, the Biocham system offers automated reasoning tools for querying the temporal properties of the system under all its possible behaviours.  ...  We present the main features of Biocham and report on our modelling experience with this language.  ...  ACKNOWLEDGMENTS This work benefitted from various discussions with our colleagues of the ARC CPBIO, in particular with Alexander Bockmayr, Vincent Danos and Vincent Schächter, and of the European project  ... 
doi:10.4024/2040402.jbpc.04.02 fatcat:lqy66ssppnaohjd2f6ggdfxtsu

The Biochemical Abstract Machine BIOCHAM [chapter]

Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman
2005 Lecture Notes in Computer Science  
In this article we present the Biochemical Abstract Machine BIOCHAM and advocate its use as a formal modeling environment for networks biology.  ...  Based on this formal semantics, the Biocham system offers automated reasoning tools for querying the temporal properties of the system under all its possible behaviors.  ...  Acknowledgments This work benefited from various discussions with our colleagues of the ARC CPBIO, in particular with Alexander Bockmayr, Vincent Danos and Vincent Schächter, and of the European project  ... 
doi:10.1007/978-3-540-25974-9_14 fatcat:3aeo46osgvf5nbaeygqjpfgg24