Process Algebra with Hooks for Models of Pattern Formation

Authors:
Andrea Degasperi;Muffy Calder
Affiliations:
Department of Computing Science, University of Glasgow, Glasgow, U.K.;Department of Computing Science, University of Glasgow, Glasgow, U.K.
Venue:
Electronic Notes in Theoretical Computer Science (ENTCS)
Year:
2010

Citing 12
Cited 2

A compositional approach to performance modelling

A compositional approach to performance modelling
Application of a stochastic name-passing calculus to representation and simulation of molecular processes

Information Processing Letters
Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models

WOSP '04 Proceedings of the 4th international workshop on Software and performance
BioAmbients: an abstraction for biological compartments

Theoretical Computer Science - Special issue: Computational systems biology
BIOCHAM: an environment for modeling biological systems and formalizing experimental knowledge

Bioinformatics
State-Aware Performance Analysis with eXtended Stochastic Probes

EPEW '08 Proceedings of the 5th European Performance Engineering Workshop on Computer Performance Engineering
Bio-PEPA: A framework for the modelling and analysis of biological systems

Theoretical Computer Science
Process Algebra Modelling Styles for Biomolecular Processes

Transactions on Computational Systems Biology XI
Beta binders for biological interactions

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Brane calculi

CMSB'04 Proceedings of the 20 international conference on Computational Methods in Systems Biology
Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA

Transactions on Computational Systems Biology VII
Rule-based modelling of cellular signalling

CONCUR'07 Proceedings of the 18th international conference on Concurrency Theory

From species to pathway and tissue as process

Proceedings of the 8th International Conference on Computational Methods in Systems Biology
Multi-scale modelling of biological systems in process algebra with multi-way synchronisation

Proceedings of the 9th International Conference on Computational Methods in Systems Biology

Quantified Score

Hi-index	0.00

Visualization

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.