A simple calculus for proteins and cells

Theoretical Computer Science

Volumn 404, Issue 1-2, 2008, Pages 127-141

  Laneve, Cosimo ^a   Tarissan, Fabien ^a  

^a UNIVERSITY OF BOLOGNA   (Italy)

Author keywords

Process algebra; Signal transduction pathways; Systems biology

Indexed keywords

BIOLOGICAL SYSTEMS; BIOMINERALIZATION; CALCULATIONS; FLOW INTERACTIONS; INFORMATION THEORY; MATHEMATICAL TECHNIQUES; PATHOLOGY; PROCESS ENGINEERING; PROTEINS;

BRANE CALCULI; CELL INTERACTIONS; PROCESS ALGEBRA; PROCESS CALCULUS; PROTEIN-PROTEIN INTERACTIONS; SIGNAL TRANSDUCTION PATHWAYS; SIGNALLING PATHWAYS; SYSTEMS BIOLOGY; VIRUS INFECTION;

DIFFERENTIATION (CALCULUS);

EID: 49249114177     PISSN: 03043975     EISSN: None     Source Type: Journal    
DOI: 10.1016/j.tcs.2008.04.011     Document Type: Article

References (14)

1. Milner R. Communicating and Mobile Systems: The π-Calculus (1999), Cambridge University Press, Cambridge
2. Regev A., Silverman W., and Shapiro E. Representation and simulation of biochemical processes using the π-calculus process algebra. In: Altman R.B., Dunker A.K., Hunter L., and Klein T.E. (Eds). Pacific Symposium on Biocomputing vol. 6 (2001), World Scientific Press, Singapore 459-470. http://www.smi.stanford.edu/projects/helix/psb01/regev.pdf
3. Danos V., and Laneve C. Formal molecular biology. Theoritical Computer Science 325 1 (2004) 69-110
4. Cardelli L., and Gordon A.D. Mobile ambients. Theoritical Computer Science 240 1 (2000) 177-213
5. Paun G. Membrane Computing. An Introduction (2002), Springer-Verlag, Berlin
6. L. Cardelli, Brane calculi., in: CMSB, 2004, pp. 257-278
7. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E. Bioambients: An abstraction for biological compartments. Theoretical Computer Science 325 1 (2004) 141-167
8. Milner R. Communication and Concurrency. International Series on Computer Science (1989), Prentice Hall
9. Danos V., and Tarissan F. Self-assembling graphs. In: Mira J., and Álvarez J.R. (Eds). Mechanisms, Symbols, and Models Underlying Cognition. Lecture Notes in Computer Science vol. 3561 (2005), Springer 498-507
10. Sangiorgi D. From π-calculus to higher-order π-calculus - and back. In: Gaudel M.-C., and Jouannaud J.-P. (Eds). Proc. TAPSOFT'93. Lecture Notes in Computer Science vol. 668 (1993) 151-166
11. V. Danos, S. Pradalier, Projective brane calculus, in: CMSB, 2004, pp. 134-148
12. Milner R., Parrow J., and Walker D. A calculus of mobile processes. Journal of Information and Computation 100 (1992) 1-77
13. Parrow J., and Victor B. The fusion calculus: Expressiveness and symmetry in mobile processes. Proceedings of LICS '98 (1998), IEEE, Computer Society Press 176-185
14. Credi A., Garavelli M., Laneve C., Pradalier S., Silvi S., and Zavattaro G. Modelization and simulation of nano devices in nano κ calculus. CMSB. Lecture Notes in Computer Science vol. 4695 (2007), Springer 168-183