A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2019; you can also visit the original URL.
The file type is application/pdf
.
Pathway analysis for BioAmbients
2008
The Journal of Logic and Algebraic Programming
Systems Biology aims for a holistic understanding of biological processes. In order to make this understanding operational and testable it can be recorded into formal process calculus models. This is a difficult task, however, because such formal models and their, often infinitely many, consequences are hard to enumerate and understand. In this paper we define a pathway analysis, based on static analysis techniques from programming languages, and show how it can be used to establish useful,
doi:10.1016/j.jlap.2008.05.006
fatcat:rr52l4n2bbco7m6ns3lrmtgb6a