UNIVERSITY of GLASGOW

Computing at Glasgow University
 
Paper ID: 9327
DCS Tech Report Number: TR-2010-313

Stochastic Process Algebra with Hooks for Models of Pattern Formation
Degasperi,A. Calder,M.

Publication Type: Tech Report (internal)
Appeared in: DCS Technical Report Series
Page Numbers :
Publisher: Dept of Computing Science, University of Glasgow
Year: 2010
Abstract:

We introduce Process algebra with hooks, PA[H]. In PA[H] processes represent different layers of abstraciton, from biochemistry to tissue, and special synchronisations via hook actions ensure consistency between these abstractions. There is an explicit representaton of geometrical space and the algebra has a stochastic semantics based on functional rates of reactions.

Keywords: process algebra, pattern formation, geometrical space.


PDF Bibtex entry Endnote XML