The blenx language with biological transactions

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

Volumn 5121 LNBI, Issue , 2009, Pages 114-152

  Ciocchetta, Federica ^a  

^a UNIVERSITY OF EDINBURGH   (United Kingdom)

Author keywords

Biological transactions; Multiplereactant multiple product reactions; Process algebras; Systems biology

Indexed keywords

BIOLOGICAL INTERACTIONS; BIOLOGICAL TRANSACTIONS; ELEMENTARY ACTIONS; MULTI-PRODUCT; MULTIPLEREACTANT MULTIPLE-PRODUCT REACTIONS; PROCESS ALGEBRAS; SEQUENCE OF ACTIONS; SYSTEMS BIOLOGY;

ALGEBRA; LINGUISTICS;

BIOLOGY;

EID: 67650302251     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-88765-2-4     Document Type: Conference Paper

References (40)

1. KEGG home page,http://www.genome.jp/keg
2. The Beta Workbench,http://www.cosbi.eu/Rpty-soft-BetaWB.php
3. Bocchi, L., Laneve, C., Zavattaro, G.: A calculus for long-running transactions. In: Najm, E., Nestmann, U., Stevens, P. (eds.) FMOODS 2003. LNCS, vol.2884, pp. 124-138. Springer, Heidelberg (2003) (Pubitemid 37480792)
4. Bortolussi, L., Policriti, A.: Modeling Biological Systems in Stochastic Concurrent Constraint Programming. Constraints 13 (2008)
5. Bruni, R., Laneve, C., Montanari, U.: Orchestrating transactions in join calculus. In: Brim, L., Jan?car, P., K?ret́insḱy, M., Kucera, A. (eds.) CONCUR 2002. LNCS, vol.2421. Springer, Heidelberg (2002)
6. Busi, N., Zavattaro, G.: On the Serializability of Transactions in JavaSpaces. In: Proc. of CONCOORD 2001. LNCS, vol.54. Springer, Heidelberg (2001)
7. Butler, M., Ferreira, C.: An operational semantics for StAC, a language for modelling longtime business transactions. In: De Nicola, R., Ferrari, G.L., Meredith, G. (eds.) COORDINATION 2004. LNCS, vol.2949. Springer, Heidelberg (2004) (Pubitemid 39741051)
8. Butler, M., Hoare, T., Ferreira, C.: A trace semantics for long-running transactions. In: Abdallah, A.E., Jones, C.B., Sanders, J.W. (eds.) Communicating Sequential Processes. LNCS, vol.3525, pp. 133-150. Springer, Heidelberg (2005) (Pubitemid 41422259)
9. Calder, M., Gilmore, S., Hillston, J.:Modelling the influence of RKIP on the ERK signalling pathway using the stochastic process algebra PEPA. T. Comp. Sys. Biology VI, 1-23 (2006) (Pubitemid 351150621)
10. Cao, Y., Gillespie, D., Petzold, L.: Accelerated Stochastic Simulation of the Sti-Enzyme-Substrate Reaction. J. Chem. Phys. 123, 144917-144929 (2005) (Pubitemid 41476759)
11. Ciocchetta, F., Hillston, J.: Bio-PEPA: a framework for the modelling and analysis of biological systems, Tech. Rep. EDI-INF-RR-1231, School of Informatics, University of Edinburgh (2008)
12. Ciocchetta, F., Hillston, J.: Bio-PEPA: an extension of the process algebra PEPA for biochemical networks. In: Proc. of FBTC 2007. Electronic Notes in Theoretical Computer Science, vol.194 (2008)
13. Ciocchetta, F., Priami, C.: Biological transactions for quantitative models. In: Proc. of MeCBIC 2006. ENTCS, vol.171 (2007)
14. Ciocchetta, F., Priami, C., Quaglia, Q.: Modeling Kohn Interaction Maps with Beta-Binders: An Example. T. Comp. Sys. Biology III, 33-48 (2005) (Pubitemid 350259102)
15. Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. In: BioConcur 2003,Workshop on Concurrent Models in MolecularBiology (2003)
16. Degano, P., Priami, C.: Enhanced operational semantics: A tool for describing and analysing concurrent systems. ACM Computing Surveys 33(2), 135-176 (2001) (Pubitemid 33768482)
17. Dematte', L., Priami, C., Romanel, A.: BetaWB: modelling and simulating biological processes. In: Proceedings of Summer Computer Simulation Conference (SCSC 2007) (2007)
18. Dematte', L., Romanel, A., Priami, C.: The beta workbench: a computational tool to study the dynamics of biological systems. Briefings in Bioinformatics (to appear)
19. Dematté, L., Romanel, A., Priami, C.: The blenx language: A tutorial. In: Bernardo, M., Degano, P., Zavattaro, G. (eds.) SFM 2008. LNCS, vol.5016, pp. 313-365. Springer, Heidelberg (2008)
20. Fages, F., Soliman, S., Chabrier-Rivier, N.: Modelling and querying interaction networks in the biochemical abstract machine BIOCHAM. Journal of Biological Physics and Chemistry 4(2), 64-73 (2004)
21. Gillespie, D.: Exact stochastic simulation of coupled chemical reactions. J. Phys. Chem. 81(25), 2340-2361 (1977)
22. Hillston, J.: A Compositional Aprroach to Performance Modelling. Cambridge University Press, Cambridge (1996)
23. Hucka, M., Finney, A., Bornstein, B., Keating, S., Shapiro, B., Matthews, J., Kovitz, B., Schilstra, M., Funahashi, A., Doyle, J., Kitano, H.: Evolving a Lingua Franca and Associated Software Infrastructure for Computational Systems Biology: The Systems Biology Markup Language (SBML) Project. Systems Biology 1(1) (2004)
24. Kanehisa, M., Goto, S.: KEGG: Kyoto encyclopedia of genes and genomes. Nucleic Acids Research 28(1), 27-30 (2000) (Pubitemid 30047706)
25. Kohn, K.: Molecular Interaction Map of the Mammalian Cell Cycle Control and DNA repair Systems. Molecular Biology of the Cell 10, 2703-2734 (1999) (Pubitemid 29393521)
26. Kuttler, C., Niehren, J., Blossey, R.: Gene regulation in the π-calculus: simulating cooperativity at the lambda switch. In: Second international workshop on concurrent models in molecular biology (BioConcur 2004) (2004)
27. Laneve, C., Zavattaro, G.: Foundations of web transactions. In: Sassone, V. (ed.) FOSSACS 2005. LNCS, vol.3441, pp. 282-298. Springer, Heidelberg (2005) (Pubitemid 41273713)
28. Laneve, C., Zavattaro, G.:Web-π at work. In: De Nicola, R., Sangiorgi, D. (eds.) TGC 2005. LNCS, vol.3705. Springer, Heidelberg (2005)
29. Lecca, P., Priami, C.: Cell Cycle control in Eukaryotes: a BioSpi model. In: Bioconcur 2003. ENTCS, vol.180 (2007)
30. Lecca, P., Priami, C., Quaglia, P., Rossi, B., Laudanna, C., Costantin, G.: Language modeling and simulation of autoreactive lymphocytes recruitment in inflamed brain vessels. SIMULATION: Transactions of The Society for Modeling and Simulation International 80(4), 273-288 (2004)
31. Nagasaki, M., Onami, S., Miyano, S., Kitano, H.: Bio-calculus: Its concept and molecular interaction. In: Asai, K., Miyano, S., Takagi, T. (eds.) Genome Informatics 1999, vol.10. Universal Academy Press (1999)
32. Prandi, D.: A formal study of biological interactions, Ph.D. thesis, university of Trento (2006)
33. Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol.3082, pp. 20-33. Springer, Heidelberg (2005) (Pubitemid 41420525)
34. Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25-31 (2001)
35. Priami, C., Romanel, A.: The Decidability of the Structural Congruence for Beta-binders. In: Proc. of MeCBIC 2006. ENTCS, vol.171, pp. 155-170 (2007) (Pubitemid 46977856)
36. Rao, C., Arkin, A.: Stochastic chemical kinetics and the quasi-steady-state assumption: application to the Gillespie algorithm. Journal of Chemical Physics 11(11) (2003)
37. Regev, A., Panina, E.M., Silverman,W., Cardelli, L., Shapiro, E.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325(1), 141-167 (2004)
38. Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using theπ-calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing 2001, vol.6 (2001)
39. Romanel, A., Dematté, L., Priami, C.: The Beta Workbench, Tech. Rep. TR-03-2007, The Microsoft Research-University of Trento Centre for Computational and Systems Biology (2007)
40. Wolkenhauer, O., Ullah, M., Kolch, W., Cho, K.H.: Modelling and Simulation of Intra- Cellular Dynamics: Choosing an Appropriate Framework. IEEE Transactions on NanoBio- Science 3(3), 200-207 (2004)