Article ID | Journal | Published Year | Pages | File Type |
---|---|---|---|---|
423929 | Electronic Notes in Theoretical Computer Science | 2010 | 17 Pages |
Abstract
We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers of abstraction, from biochemistry to tissue, and special synchronisations via hook actions ensure consistency between these abstractions. There is an explicit representation of geometrical space and the algebra has a stochastic semantics based on functional rates of reactions.
Related Topics
Physical Sciences and Engineering
Computer Science
Computational Theory and Mathematics