Process Algebra with Hooks for Models of Pattern Formation

We introduce Process Algebra with Hooks (PAH). In PAH processes represent different layers action, from biochemistry to tissue, and special synchronisations via hook actions ensure ncy between these abstractions. There is an explicit representation of geometrical space and the algebra has a stochastic semantics based on functional rates of reactions.

• Type: Journal
• Year: 2010
• Where: ENTCS
• Authors: Andrea Degasperi, Muffy Calder
• Keywords: ENTCS 2010, Explicit Representation, Hook Actions, Process Algebra, Software Engineering