Biological Transactions for Quantitative Models

Electronic Notes in Theoretical Computer Science

Volumn 171, Issue 2 SPEC. ISS., 2007, Pages 55-67

  Ciocchetta, Federica ^a   Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

biological transactions; stochastic calculus; Systems Biology

Indexed keywords

MATHEMATICAL MODELS; SEMANTICS; SYNTACTICS;

ATOMIC ACTIONS; BIOLOGICAL TRANSACTIONS; QUANTITATIVE MODELS;

RANDOM PROCESSES;

EID: 34250811943     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.entcs.2007.05.007     Document Type: Article

References (21)

1. Bistarelli S., Cervesato I., Lenzini G., Marangoni R., and Martinelli F. On Representing Biological Systems through Multiset Rewriting. Proc. of Workshop on Computational Methods in Biomathematics (CMB'03). LNCS 2809 (2003), Springer-Verlag
2. Bistarelli S., Cervesato I., Lenzini G., and Martinelli F. Relating Multiset Rewriting and Process Algebras for Security Protocol Analysis. Journal of Computer Security 13 (2005)
3. Blossey, R., C. Kuttler and J. Niehren, Gene regulation in the π-calculus: simulating cooperativity at the lambda switch, Proc. of BioConcur 2004, 2004.
4. Butler M., Hoare T., and Ferreira C. A trace semantics for long-running transactions. Proc. of 25 year of CSP. LNCS 3525 (2005), Springer-Verlag 133-150
5. Bocchi L., Laneve C., and Zavattaro G. A Calculus for Long-running Transactions. Proc. of the 6th IFIP International Conference on Formal Methods for Open Object-based Distributed Systems (FMOODS'03). LNCS 2884 (2003), Springer-Verlag
6. Busi N., and Zavattaro G. On the Serializability of Transactions in JavaSpaces. Proc. o CONCOORD'01. LNCS 54 (2001), Springer-Verlag
7. Cardelli L., Panina E.M., Regev A., Shapiro E., and Silverman W. BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 235 (2004) 141-167 Elsevier
8. Cho K.H., Kolch W., Ullah M., and Wolkenhauer O. Modelling and Simulation of IntraCellular Dynamics: Choosing an Appropriate Framework. IEEE Transactions on NanoBioScience 3 (2004) 200-207
9. Ciocchetta, F. and C. Priami, "The stochastic π-calculus with biological transactions", Technical Report TR-02-2006, The Microsoft Research-University of Trento Centre for Computational and Systems Biology, 2006.
10. Costantin G., Laudanna C., Lecca P., Priami C., Quaglia P., and Rossi B. Language modeling and simulation of autoreactive lymphocytes recruitment in inflamed brain vessels. SIMULATION: Transactions of The Society for Modeling and Simulation International 80 (2003) 273-288
11. Danos, V. and J. Krivine, Formal molecular biology done in CCS-R, Proc. of Workshop on Concurrent Models in MolecularBiology (BioConcur '03), 2003.
12. Danos V., and Laneve C. Core Formal Molecular Biology. Proc. of ESOP'03. LNCS 2618 (2003), Springer-Verlag 302-318
13. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 (1977) 2340-2361
14. Kitano H. Systems Biology: A Brief Overview. Science 295 (2002) 1662-1664
15. Laneve C., and Zavattaro G. Foundations of web transactions. Proc. of Foundations of Software Science and Computation Structure (FOSSACS 2005). LNCS 3441 (2005), Springer-Verlag 282-298
16. Milner R. Communicating and mobile systems: the π-calculus (1999), Cambridge University Press
17. Priami C., Regev A., Silverman W., and Shapiro E. Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80 (2001) 25-31
18. Priami, C. and P. Quaglia, Beta-binders for biological interactions, Proc. of Computational Methods in Systems Biology '04 (CMSB04), 2004.
19. Regev, A., Representation and simulation of molecular pathways in the stochastic π-calculus, Proc. of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks, 2001.
20. Sangiorgi D., and Walker D. The π-calculus: a Theory of Mobile Processes (2001), Cambridge University Press
21. Tyson J. Some Further Studies of Nonlinear Oscillators in Chemical Systems. J. Chem. Phys. 58 (1973) 3919-3930