The attributed Pi calculus

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

Volumn 5307 LNBI, Issue , 2008, Pages 83-102

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

^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

ATTRIBUTE VALUES; CONTINUOUS TIME MARKOV CHAINS; GENE REGULATIONS; PI CALCULUSES; POLYADIC SYNCHRONIZATIONS; PROTEIN BINDINGS; SIMULATION ALGORITHMS; SYSTEMS BIOLOGIES;

BACTERIOPHAGES; BIOCHEMISTRY; BIOLOGY; CALCULATIONS; DIFFERENTIATION (CALCULUS); FLOW OF GASES; INFORMATION THEORY; MARKOV PROCESSES; SEMANTICS;

COMPUTATIONAL LINGUISTICS;

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

References (28)

1. Regev, A., Shapiro, E.: Cells as Computation. Nature 419, 343 (2002)
2. Regev, A.: Computational Systems Biology: A Calculus for Biomolecular Knowledge. Tel Aviv University, PhD thesis (2003)
3. 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)
4. 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)
5. 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)
6. Dematté, L., Priami, C., Romanel, A.: Modelling and Simulation of Biological Processes in BlenX. SIGMETRICS Performance Evaluation Review 35(4), 32-39 (2008)
7. Ciocchetta, F., Hillston, J.: Bio-PEPA: An Extension of the Process Algebra PEPA for Biochemical Networks. ENTCS 194(3), 103-117 (2008)
8. Chabrier-Rivier, N., Fages, F., Soliman, S.: The Biochemical Abstract Machine BIOCHAM. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBl), vol. 3082, pp. 172-191. Springer, Heidelberg (2005)
9. Faeder, J.R., Blinov, M.L., Goldstein, B., Hlavacek, W.S.: Rule-Based Modeling of Biochemical Networks. Complexity 10(4), 22-41 (2005)
10. Danos, V., Feret, J., Fontana, W., Harmer, R., Krivine, J.: Rule-based modelling of cellular signalling. In: Caires, L., Vasconcelos, V.T. (eds.) CONCUR 2007. LNCS, vol. 4703, pp. 17-41. Springer, Heidelberg (2007)
11. Hillston, J.: Process Algebras for Quantitative Analysis. In: LICS 2005: Proceedings of the 20th Annual IEEE Symposium on Logic in Computer Science, pp. 239-248. IEEE Computer Society, Los Alamitos (2005)
12. Cardelli, L.: On Process Rate Semantics. TCS 391(3), 190-215 (2008)
13. Jaffar, J., Lassez, J.L.: Constraint Logic. Programming. In: 14th ACM SIGACT-SIGPLAN Symposium on Principles of Programming Languages, pp. 111-119. ACM Press, New York (1987)
14. Saraswat, V.A., Rinard, M., Panangaden, P.: The Semantic Foundations of Concurrent Constraint Programming. In: 18th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, pp. 333-352. ACM Press, New York (1991)
15. Versari, C.: A Core Calculus for a Comparative Analysis of Bio-inspired Calculi. Programming Languages and Systems, pp. 411-425 (2007)
16. Kuttler, C.: Modeling Bacterial Gene Expression in a Stochastic Pi Calculus with Concurrent Objects. PhD thesis, Université des Sciences et Technologies de Lille - Lille 1 (2007)
17. Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. Transactions on Computational Systems Biology VII, 24-55 (2006)
18. Versari, C., Busi, N.: Stochastic Simulation of Biological Systems with Dynamical Compartment Structure. In: Calder, M., Gilmore, S. (eds.) CMSB 2007. LNCS (LNBI), vol. 4695, pp. 80-95. Springer, Heidelberg (2007)
19. Versari, C., Busi, N.: Efficient Stochastic Simulation of Biological Systems with Multiple Variable Volumes. ENTCS 194(3), 165-180 (2008)
20. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. TCS 325(1), 141-167 (2004)
21. Cardelli, L.: Brane calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257-278. Springer, Heidelberg (2005)
22. John, M., Ewald, R., Uhrmacher, A.M.: A Spatial Extension to the Pi Calculus. ENTCS 194(3), 133-148 (2008)
23. Kholodenko, B.N.: Cell-Signalling Dynamics in Time and Space. Nature Reviews Molecular Cell Biology 7(3), 165-176 (2006)
24. Grell, K.G.: Protozooiogie. Springer, Heidelberg (1968)
25. Gillespie, D.T.: A General Method for Numerically Simulating the Stochastic Time Evolution of Coupled Chemical Reactions. Journal of Computational Physics 22(4), 403-434 (1976)
26. Khomenko, V., Meyer, R.: Checking Pi Calculus Structural Congruence is Graph Isomorphism Complete. Technical Report CS-TR: 1100, School of Computing Science, Newcastle University, 20 pages (2008)
27. Cappello, I., Quaglia, P.: A translation of beta-binders in a prioritized pi-calculus. In: From Biology to Concurrency and back, Workshop FBTC (2008)
28. Ewald, R., Jeschke, M.: Large-Scale Design Space Exploration of SSA. In: Computational Methods in Systems Biology, International Conference CMSB 2008. LNCS. Springer, Heidelberg (2008)