A stochastic Pi calculus for concurrent objects

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

Volumn 4545 LNCS, Issue , 2007, Pages 232-246

  Kuttler, Céline ^a   Lhoussaine, Cédric ^b   Niehren, Joachim ^c  

^a UNIVERSITY OF TRENTO   (Italy)

^b UNIV LILLE   (France)

^c INRIA   (France)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SIMULATION; MATHEMATICAL MODELS; RANDOM PROCESSES; SEMANTICS;

CALCULUS; HIGHER LEVEL MODELING; SYSTEMS BIOLOGY;

CONCURRENT ENGINEERING;

EID: 38149027117     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-73433-8_17     Document Type: Conference Paper

References (25)

1. Baldamus, M., Parrow, J., Victor, B.: A fully abstract encoding of the π-calculus with data terms. In: Caires, L., Italiano, G.F., Monteiro, L., Palamidessi, C., Yung, M. (eds.) ICALP 2005. LNCS, vol. 3580, pp. 1202-1213. Springer, Heidelberg (2005)
2. Bernardo, M., Donatiello, L., Gorrieri, R.: MPA: A stochastic process algebra. Technical Report UBLCS-94-10, University Bologna (1994)
3. Cardelli, L., calculi, B.: Interactions of biological membranes. In: Database Machine Performance: Modeling Methodologies and Evaluation Strategies. LNCS (LNBI), vol. 3082, pp. 257-278. Springer, Heidelberg (2005)
4. Chabrier-Rivier, N., Fages, F., Soliman, S.: The biochemical abstract machine BioCham. In: CMSB 2004. LNCS, vol. 3082, pp. 172-191. Springer, Heidelberg (2005)
5. Ciocchetta, F., Priami, C.: Biological transactions for quantitative models. In: MeCBIC ENTCS (2006) (to appear)
6. Duchier, D., Kuttler, C.: Biomolecular agents as multi-behavioural concurrent objects. In: Proc. MTCoord, vol 150 of ENTCS, pp. 31-49 (2005)
7. Gillespie, D.T.: A general method for numerically simulating the stochastic time evolution of coupled chemical reactions. J Comp Phys 22, 403-434 (1976)
8. Hermanns, H. (ed.): Interactive Markov Chains. LNCS, vol. 2428. Springer, Heidelberg (2002)
9. Hillston, J.: A Compositional Approach to Performance Modelling. In: PhD thesis, University of Edinburgh, Cambridge University Press, Cambridge (1996)
10. Hucka, M., et al.: The systems biology markup language (SBML). Bioinformatics 19, 524-531 (2003)
11. Kuttler, C., Niehren, J.: Gene regulation in the pi calculus: Simulating cooperativity at the lambda switch. In: Priami, C., Ingólfsdóttir, A., Mishra, B., Nielson, H.R. (eds.) Transactions on Computational Systems Biology VII. LNCS (LNBI), vol. 4230, pp. 24-55. Springer, Heidelberg (2006)
12. Kuttler, C.: Bacterial transcription and translation in the pi calculus. In: Priami, C., Plotkin, G. (eds.) Transactions on Computational Systems Biology VI. LNCS (LNBI), vol. 4220, pp. 113-149. Springer, Heidelberg (2006)
13. Kuttler, C.: Modeling Bacterial Gene Expression in a Stochastic Pi Calculus with Concurrent Objects. PhD thesis, University Lille 1 (2006)
14. Kuttler, C., Lhoussaine, C., Niehren, J.: A stochastic pi-calculus for concurrent objects. INRIA technical report 6076 (2006)
15. Kwiatkowska, M., Norman, G., Parker, D., Tymchyshyn, O., Heath, J., Gaffney, E.: Simulation and verification for computational modelling of signalling pathways. Winter Simulation Conference (2006) (to appear)
16. Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Constantin, C.: A stochastic process algebra approach to simulation of autoreactive lymphocyte recruitment. SCS Simulation 80(6), 273-288 (2004)
17. Milner, R., Parrow, J., Walker, D.: A calculus of mobile processes (I and II). Information and Computation 100, 1-77 (1992)
18. Paulino, H., Marques, P., Lopes, L., Vasconcelos, V.T., Silva, F.: A multi-threaded asynchronous language. In: Malyshkin, V. (ed.) PaCT 2003. LNCS, vol. 2763, pp. 316-323. Springer, Heidelberg (2003)
19. Phillips, A., Cardelli, L.: A correct abstract machine for the stochastic pi-calculus. In: Proc. Workshop on Concurrent Models in Molecular Biology (2004)
20. Priami, C.: Stochastic π-calculus. Computer Journal 6, 578-589 (1995)
21. Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Simple Program Schemes and Formal Languages. LNCS (LNBI), vol. 3082, pp. 20-33. Springer, Heidelberg (2005)
22. Priami, C., Regev, A., Shapiro, E., Silverman, W.: Application of a stochastic namepassing calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25-31 (2001)
23. Ravara, A., Vasconcelos, V.T.: Typing non-uniform concurrent objects. In: Palamidessi, C. (ed.) CONCUR 2000. LNCS, vol. 1877, pp. 474-488. Springer, Heidelberg (2000)
24. Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: BioAmbients. TCS 325(1), 141-167 (2004)
25. Vasconcelos, V.T., Tokoro, M.: A typing system for a calculus of objects. In: Nishio, S., Yonezawa, A. (eds.) Object Technologies for Advanced Software. LNCS, vol. 742, pp. 460-474. Springer, Heidelberg (1993)