Dynamic compartments in the imperative π-calculus

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

Volumn 5688 LNBI, Issue , 2009, Pages 235-250

  John, Mathias ^a   Lhoussaine, Cédric ^b,d   Niehren, Joachim ^c,d  

^a UNIVERSITY OF ROSTOCK   (Germany)

^b UNIV LILLE   (France)

^c INRIA   (France)

^d ECOLE CENTRALE DE LILLE   (France)

Author keywords

[No Author keywords available]

Indexed keywords

APPROPRIATE MODELS; IN-CELL; STOCHASTIC MODELING; VARIABLE VOLUME;

BIOCHEMISTRY; COMPUTATIONAL METHODS;

CALCULATIONS;

EID: 70349306859     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-642-03845-7_16     Document Type: Conference Paper

References (21)

1. Brodo, L., Degano, P., Priami, C.: A stochastic semantics for bioambients. In: Malyshkin, V.E. (ed.) PaCT 2007. LNCS, vol. 4671, pp. 22-34. Springer, Heidelberg (2007)
2. Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257-278. Springer, Heidelberg (2005)
3. Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BIOCHAM. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 172-191. Springer, Heidelberg (2005)
4. Ciocchetta, F., Hillston, J.: Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. ENTCS 194(3), 103-117 (2008)
5. Ciocchetta, F., Guerriero, M.L.: Modelling Biological Compartments in Bio-PEPA. ENTCS 227, 77-95 (2009)
6. Danos, V., Laneve, C.: Formal molecular biology. TCS 325(1), 69-110 (2004)
7. Dematté, L., Priami, C., Romanel, A.: Modelling and Simulation of Biological Processes in BlenX. SIGMETRICS Perf. Evaluation Review 35(4), 32-39 (2008)
8. Elf, J., Ehrenberg, M.: Spontaneous Separation of Bi-Stable Biochemical Systems into Spatial Domains of Opposite Phases. IEEE Proceedings Systems Biology 1(2), 230-236 (2004)
9. Gillespie, D.T.: Exact Stochastic Simulation of Coupled Chemical Reactions. Journal of Physical Chemistry 81, 2340-2361 (1977)
10. Himmelspach, J., Uhrmacher, A.M.: Plug'n Simulate. In: ANSS 2007, IEEE Proceedings, pp. 137-143 (2007)
11. John, M., Lhoussaine, C., Niehren, J., Uhrmacher, A.M.: The attributed pi calculus. In: Heiner, M., Uhrmacher, A.M. (eds.) CMSB 2008. LNCS (LNBI), vol. 5307, pp. 83-102. Springer, Heidelberg (2008)
12. Krivine, J., Milner, R., Troina, A.: Stochastic bigraphs. ENTCS 218, 73-96 (2008)
13. Kuttler, C., Lhoussaine, C., Niehren, J.: A Stochastic Pi-Calculus for Concurrent Objects. In: Anai, H., Horimoto, K., Kutsia, T. (eds.) Ab 2007. LNCS, vol. 4545, pp. 232-246. Springer, Heidelberg (2007)
14. Milner, R.: Pure bigraphs: Structure and dynamics. Information and Computation 204(1), 60-122 (2006)
15. Phillips, A.: An Abstract Machine for the Stochastic Bioambient Calculus. ENTCS 227, 143-159 (2009)
16. Phillips, A., Cardelli, L.: Efficient, correct simulation of biological processes in the stochastic pi-calculus. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 184-199. Springer, Heidelberg (2007)
17. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a Stochastic Name-Passing Calculus to Representation and Simulation of Molecular Processes. Information Processing Letters 80, 25-31 (2001)
18. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. TCS 325(1), 141-167 (2004)
19. Regev, A., Shapiro, E.: Cells as Computation. Nature 419, 343 (2002)
20. Versari, C.: A Core Calculus for a Comparative Analysis of Bio-Inspired Calculi. In: De Nicola, R. (ed.) ESOP 2007. LNCS, vol. 4421, pp. 411-425. Springer, Heidelberg (2007)
21. Versari, C., Busi, N.: Stochastic Biological Modelling in Presence of Multiple Compartments. TCS (to appear)