The continuous π-calculus: A process algebra for biochemical modelling

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 5307 LNBI, Issue , 2008, Pages 103-122

  Kwiatkowski, Marek ^a   Stark, Ian ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

[No Author keywords available]

Indexed keywords

BIO-CHEMICALS; BIOCHEMICAL PATHWAYS; COMPOSITIONAL SEMANTICS; CONTINUOUS SPACES; FLEXIBLE NETWORKS; FUTURE RESEARCH DIRECTIONS; KEY FEATURES; MOLECULAR AFFINITIES; MOLECULAR SYSTEMS; OPERATIONAL SEMANTICS; PROCESS ALGEBRAS; SYSTEM BEHAVIOURS;

ALGEBRA; BIOLOGICAL SYSTEMS; COMPUTATIONAL LINGUISTICS; DIFFERENTIATION (CALCULUS); FLOW OF GASES; INFORMATION THEORY; SEMANTICS;

CALCULATIONS;

EID: 57049168165     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88562-7_11     Document Type: Conference Paper

References (38)

1. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Inf. Proc. Lett. 80 (2001)
2. Regev, A.: Computational Systems Biology: A Calculus for Biochemical Knowledge. PhD thesis, Tel Aviv University (2002)
3. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Pacific Symposium on Biocomputing (2001)
4. Kitano, H.: Biological robustness. Nature 5, 826-837 (2004)
5. Wagner, A.: Robustness and Evolvability in Living Systems. Princeton University Press, Princeton (2005)
6. Schuster, P., Fontana, W., Stadler, P., Hofacker, I.: From sequences to shapes and back: A case-study in RNA secondary structures. Proc. Royal Soe. Ser. B 255 (1994)
7. Tomita, J., Nakajima, M., Kondo, T., Iwasaki, H.: No transcription- translation feedback in circadian rhythm of KaiC phosphorylation. Science 307(5707), 251-254 (2005)
8. van Zon, J.S., Lubensky, D.K., Altena, P.R.H., ten Wolde, P.R.: An allosteric model of circadian KaiC phosphorylation. PNAS 104(18), 7420-7425 (2007)
9. Milner, R.: The polyadic π-calculus: A tutorial. Technical Report ECS-LFCS-91-180, LFCS, University of Edinburgh (1991)
10. Milner, R.: Communicating and Mobile Systems: The π Calculus. Cambridge University Press, Cambridge (1999)
11. Parrow, J.: An introduction to the π-calculus. In: Handbook of Process Algebra, pp. 479-543. Elsevier, Amsterdam (2001)
12. Gillespie, D.T.: The chemical Langevin equation. J. Chem. Phys. 113(1), 297-306 (2000)
13. Regev, A., Shapiro, E.: Cellular abstractions: Cells as computations. Nature 419 (2002)
14. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theor. Comput. Sci. 325 (2004)
15. Hillston, J.: A Compositional Approach to Performance Modelling. Cambridge University Press, Cambridge (1996)
16. Calder, M., Gilmore, S., Hillston, J.: Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. In: Proc. BioConcur. (2004)
17. Heath, J., Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O.: Probabilistic model checking of complex biological pathways. Theor. Comput. Sci. (2007)
18. Calder, M., Duguid, A., Gilmore, S., Hillston, J.: Stronger computational modelling of signalling pathways using both continuous and discrete-state methods. In: Priami, C. (ed.) CMSB 2006. LNCS (LNBI), vol. 4210, pp. 63-77. Springer, Heidelberg (2006)
19. Kitano, H.: Towards system-level understanding of biological systems. In: Foundations of Systems Biology. MIT Press, Cambridge (2001)
20. Stadler, B.M.R., Stadler, P.F., Wagner, G., Fontana, W.: The topology of the possible: Formal spaces underlying patterns of evolutionary change. J. Theor. Biol. 213 (2001)
21. Soyer, O., Salathe, M.. Bonhoeffer, S.: Signal transduction networks: Topology, response, and biochemical reactions. J. Theor. Biol. 238 (2006)
22. Plotkin, G.D.: A structural approach to operational semantics. J. Log. Algeb. Progr. 60-61, 17-139 (2004)
23. Ishiura, M., Kutsuna, S., Aoki, S., Iwasaki, H., Andersson, C.R., Tanabe, A., Golden, S.S., Johnson, C.H., Kondo, T.: Expression of a gene cluster kaiABC as a circadian feedback process in cyanobacteria. Science 281(5382), 1519-1523 (1998)
24. Golden, S.S.. Johnson, C.H., Kondo, T.: The cyanobacterial circadian system: A clock apart. Current Opinion in Microbiology 1(6), 669-673 (1998)
25. van Zon, J.S., Lubensky, D.K., Altena, P.R.H., ten Wolde, P.R.: An allosteric model of circadian KaiC phosphorylation: Supporting information (2007), http://www.pnas.org/cgi/content/full/0608665104/DC1
26. Haskell, http://www.haskell.org/
27. Peyton Jones, S. (ed.): Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge (April 2003)
28. Octave, http://www.gnu.org/software/octave/
29. Eaton, J.W.: GNU Octave Manual. Network Theory (2002)
30. van Zon, J.S.: A detail of the KaiABC model. Personal communication (2008)
31. Calder, M., Gilmore, S.. Hillston, J.: Automatically deriving ODEs from process algebra models of signalling pathways. In: Proc. CMSB (2005)
32. Meyer. R.. Khomenko, V., Strazny, T.: A practical approach to verification of mobile systems using net unfoldings. In: Application and Theory of Petri Nets: Proc. ATPN (to appear, 2008)
33. Demate, L., Priami, C., Romanel, A., Soyer, O.: A formal and integrated framework to simulate evolution of biological pathways. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI). vol. 4695. pp. 106-120. Springer, Heidelberg (2007)
34. Priami, C., Quaglia. P.: Beta binders for biological interactions. In: Danos. V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBl), vol. 3082, pp. 20-33. Springer, Heidelberg (2005)
35. Bortolussi, L., Policriti, A.: Connecting process algebras and differential equations for systems biology. In: Process Algebra and Stochastically Timed Activities: Proc. 6th PASTA workshop (2006)
36. Segala, R., Vaandrager, F., Lynch. N.: Hybrid I/O automata. Inf. & Comput. 185(1) (2003)
37. Bergstra, J.A., Middleburg, C.A.: Process algebra for hybrid systems. Theor. Comput. Sci. 335 (2005)
38. Vilar, J.M.G., Guet. C.G., Leibler, S.: Modeling network dynamics: The lac operon. a case study. J. Cell Biol. 161 (2003)