Process Algebra with Hooks for Models of Pattern Formation

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.