A Simple Calculus for Proteins and Cells

Electronic Notes in Theoretical Computer Science

Volumn 171, Issue 2 SPEC. ISS., 2007, Pages 139-154

  Laneve, Cosimo ^a   Tarissan, Fabien ^b  

^a UNIVERSITY OF BOLOGNA   (Italy)

^b UNIVERSITÉ PARIS DESCARTES   (France)

Author keywords

Formal methods; Formal molecular biology; Modelling biological systems; Process algebras; Systems biology

Indexed keywords

CELLS; COMPUTER SCIENCE; MOLECULAR BIOLOGY; NUMERICAL METHODS; PROTEINS; SEMANTICS;

FORMAL MOLECULAR BIOLOGY; MODELING BIOLOGICAL SYSTEMS; PROCESS ALGEBRAS;

BIOLOGICAL SYSTEMS;

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

References (9)

1. Luca Cardelli. Brane calculi. In CMSB, pages 257-278, 2004
2. Cardelli L., and Gordon A.D. Mobile ambients. Theoritical Computer Science 240 1 (2000) 177-213
3. Danos V., and Laneve C. Formal molecular biology. Theoritical Computer Science 325 1 (2004) 69-110
4. Vincent Danos and Sylvain Pradalier. Projective brane calculus. In CMSB, pages 134-148, 2004
5. 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 volume 3561 (June 2005), Springer 498-507
6. Milner R. Communication and Concurrency. International Series on Computer Science (1989), Prentice Hall
7. Milner R. Communicating and mobile systems: the π-calculus (1999), Cambridge University Press, Cambridge
8. 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, volume 6 (2001), World Scientific Press, Singapore 459-470
9. Davide Sangiorgi. From π-calculus to Higher-Order π-calculus - and back. In M.-C. Gaudel and J.-P. Jouannaud, editors, Proc. TAPSOFT'93, volume 668, pages 151-166, 1993