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
.
Verification of Spatial and Temporal Modalities in Biochemical Systems
2015
Electronical Notes in Theoretical Computer Science
Biochemical systems such as metabolic and signaling pathways tend to be arranged in a physical space: the product of one reaction must be in the right place to become the reactant for the subsequent reaction in the pathway. Moreover, in some cases, the behavior of the systems can depend on both, the location of the reactants as well as on the time needed for the reaction to occur. We address the problem of specifying and verifying properties of biochemical systems that exhibit both temporal and
doi:10.1016/j.entcs.2015.06.009
fatcat:ksphyjbd5fbqheyjhhoiyoy72a