Process algebra with hooks for models of pattern formation

Electronic Notes in Theoretical Computer Science

Volumn 268, Issue C, 2010, Pages 31-47

  Degasperi, Andrea ^a   Calder, Muffy ^a  

^a UNIVERSITY OF GLASGOW   (United Kingdom)

Author keywords

geometrical space; labelled transition system; pattern formation; process algebra

Indexed keywords

EXPLICIT REPRESENTATION; GEOMETRICAL SPACE; LABELLED TRANSITION SYSTEMS; PATTERN FORMATION; PROCESS ALGEBRAS; STOCHASTIC SEMANTICS;

ABSTRACTING; HOOKS; SEMANTICS;

ALGEBRA;

EID: 78650548933     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2010.12.004     Document Type: Conference Paper

References (18)

1. Argent-Katwala, A., J. T. Bradley and N. J. Dingle, Expressing performance requirements using regular expressions to specify stochastic probes over process algebra models, Fourth International Workshop on Software and Performance (2004), pp. 49-58.
2. M. Calder, S. Gilmore, and J. Hillston Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA Lecture Notes in Computer Science 4230 2006 1 23
3. M. Calder, and J. Hillston Process algebra modelling styles for biomolecular processes LNCS 5750 2009 1 25
4. L. Calzone, F. Fages, and S. Soliman Biocham: An environment for modelling biological systems and formalizing experimental knowledge Bioinformatics 22 2006 1805 1807
5. L. Cardelli Brane calculi Lecture Notes in Bioinformatics 3082 2005 257 278
6. F. Ciocchetta, and J. Hillston Bio-PEPA: A framework for the modelling and analysis of biological systems Theoretical Computer Science 410 2009 3065 3084
7. A. Clark, and S. Gilmore State-aware performance analysis with eXtended stochastic probes LNCS 5261 2008 125 140
8. V. Danos, J. Feret, W. Fontana, R. Harmer, and J. Krivine Rule-based modelling of cellular signalling Lecture Notes in Computer Science 2007 17 41
9. Degasperi, A. and M. Calder, On the formalisation of gradient diffusion models of biological systems, PASTA Workshop 2009 (2009). URL http://www.dcs.gla.ac.uk/~andrea/files/DegasperiCalder-Bio-PASTA2009.pdf.
10. J. Hillston A Compositional Approach to Performance Modelling 1996 Cambridge University Press
11. H. Meinhardt Tailoring and coupling of reaction-diffusion systems to obtain reproducible complex pattern formation during development of the higher organisms Applied Mathematics and Computation 32 1989 103 135
12. H. Meinhardt Models of biological pattern formation: from elementary steps to the organization of embryonic axes Curr. Top. Dev. Biol. 81 2008 1 63
13. H. Meinhardt Models for generation and interpretation of gradients Cold Spring Harbor Perspectives in Biology 2009 1 14
14. C. Priami, and P. Quaglia Beta-binders for biological interactions LNCS 3082 2005 20 33
15. C. Priami, A. Regev, E. Shapiro, and W. Silverman Application of a stochastic name-passing calculus to representation and simulation of molecular processes Inf. Process. Lett. 80 2001 25 31
16. A. Regev, E. Panina, W. Silverman, L. Cardelli, and E. Shapiro Bioambients: An abstraction for biological compartments Theoretical Computer Science 325 2004 141 167
17. Regev, A., W. Silverman and E. Shapiro, Representation and simulation of biochemical processes using the pi-calculus process algebra, Pacific Symposium on Biocomputing (2001), pp. 459-470.
18. A. Turing The chemical basis of morphogenesis Philosophical Transactions of the Royal Society of London. Series B, Biological Sciences 237 1952 37 72