Process Calculi and Life Science

Electronic Notes in Theoretical Computer Science

Volumn 162, Issue 1, 2006, Pages 301-304

  Priami, Corrado ^a  

^a UNIVERSITY OF TRENTO   (Italy)

Author keywords

bioinformatics; Concurrency theory; modeling and simulation; process algebras

Indexed keywords

ABSTRACTING; ALGORITHMS; BIOTECHNOLOGY; PROCESS ENGINEERING;

BIOINFORMATICS; BIOLOGICAL SYSTEMS; CONCURRENCY THEORY; PROCESS ALGEBRAS;

COMPUTER SCIENCE;

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

References (16)

1. Cardelli L. Brane Calculi. CMSB '04. LNBI volume 3082 (2005), Springer
2. Cardelli L., and Gordon A.D. Mobile ambients. Foundations of Software Science and Computation Structures: First International Conference. FOSSACS '98 (1998), Springer-Verlag, Berlin Germany
3. Gillespie D.T. A general method for numerically simulating the stochastic time evolution of coupled chemical species. Journal of Computational Physic 22 (1976) 403-434
4. Gillespie D.T. Exact stochastic simulation of coupled chemical reactions. Journal of Physical Chemistry 81 25 (1977) 2340-2361
5. Kitano H. Foundations of System Biology (2002), MIT Press
6. P. Lecca, C. Priami, P. Quaglia, B. Rossi, C. Laudanna, and G. Costantin. Language modeling and simulation of autoreactive lymphocytes recruitment in inflamed brain vessels. 2003. To appear in SIMULATION: Transactions of The Society for Modeling and Simulation International
7. Milner R. Communicating and mobile systems: the π-calculus (1999), Cambridge Universtity Press
8. A. Phillips and L. Cardelli. A correct abstract machine for the stochastic pi-calculus. In BioConcur '04, ENTCS. Elsevier, to appear
9. Priami C. Stochastic π-calculus. The Computer Journal 38 6 (1995) 578-589
10. Priami C. Language-based performance prediction for distributed and mobile systems. Information and Computation 175 (2002)
11. Priami C., and Quaglia P. Beta binders for biological interactions. CMSB '04. LNBI volume 3082 (2005), Springer
12. Priami C., and Quaglia P. Operational patterns in beta-binders. Transactions on Computational Systems Biology. LNCS volume 3380 (2005), Springer
13. 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 1 (2001) 25-31
14. A. Regev. Representation and simulation of molecular pathways in the stochastic π-calculus. In Proceedings of the 2nd workshop on Computation of Biochemical Pathways and Genetic Networks, 2001
15. A. Regev, W. Silverman, and E. Shapiro. Representing biomolecular processes with computer process algebra: π-calculus programs of signal transduction pathways. In American Association for Artificial Intelligence Pubblication, 2000
16. Sangiorgi D., and Walker D. The π-calculus: a Theory of Mobile Processes (2001), Cambridge Universtity Press