A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2017; you can also visit the original URL.
The file type is application/pdf.
Filters
Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM
2002
Journal of Biological Physics and Chemistry
Preserved Fulltext
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]
2005
Lecture Notes in Computer Science
Preserved Fulltext
A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2015; you can also visit the original URL.
The file type is application/pdf.
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