Type Disciplines for Analysing Biologically Relevant Properties

Electronic Notes in Theoretical Computer Science

Volumn 227, Issue C, 2009, Pages 97-111

  Aman, Bogdan ^a,b   Dezani Ciancaglini, Mariangiola ^c   Troina, Angelo ^c  

^a Institute for Computer Science   (Romania)

^b ALEXANDRU IOAN CUZA UNIVERSITY OF IASI   (Romania)

^c UNIVERSITY OF TURIN   (Italy)

Author keywords

biological properties; Calculus of looping sequences; term rewriting

Indexed keywords

BIOLOGICAL SYSTEMS; FUNCTIONS;

BIOLOGICAL PROPERTIES; CALCULUS OF LOOPING SEQUENCES; REDUCTION RULES; REWRITING RULES; TERM REWRITING;

CALCULATIONS;

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

References (15)

1. Alur R., Belta C., Ivancic F., Kumar V., Mintz M., Pappas G.J., Rubin H., and Schug J. Hybrid modeling and simulation of biomolecular networks. Proc. of Hybrid Systems: Computation and Control. LNCS vol. 2034 (2001), Springer 19-32
2. Barbuti R., Maggiolo-Schettini A., and Milazzo P. Extending the calculus of looping sequences to model protein interaction at the domain level. Proc. of International Symposium on Bioinformatics Research and Applications. ISBRA'07. LNBI vol. 4463 (2007), Springer 638-649
3. Barbuti R., Maggiolo-Schettini A., Milazzo P., and Troina A. A calculus of looping sequences for modelling microbiological systems. Fundamenta Informaticae 72 (2006) 21-35
4. Barbuti R., Maggiolo-Schettini A., Milazzo P., and Troina A. Bisimulation congruences in the calculus of looping sequences. Proc. of International Colloquium on Theoretical Aspects of Computing. ICTAC'06. LNCS vol. 4281 (2006), Springer 93-107
5. Barbuti R., Maggiolo-Schettini A., Milazzo P., and Troina A. Bisimulations in calculi modelling membranes. Formal Aspects of Computing 20 4-5 (2008) 351-377
6. Cardelli L. Brane calculi. Interactions of biological membranes. Proc. of Comput. Methods in Systems Biology. CMSB'04. LNCS vol. 3082 (2005), Springer 257-280
7. Danos V., and Laneve C. Formal molecular biology. Theoretical Computer Science 325 (2004) 69-110
8. McIntosh T., Kulkarni K., and Simon S. Membrane fusion promoters and inhibitors have contrasting effects on lipid bilayer structure and undulations. Biophysical Journal 76 (1999) 2090-2098
9. Matsuno H., Doi A., Nagasaki M., and Miyano S. Hybrid Petri net representation of gene regulatory network. Prooceedings of Pacific Symposium on Biocomputing (2000), World Scientific Press 341-352
10. Milazzo, P. (2007) Qualitative and quantitative formal modeling of biological systems. Ph.D. Thesis, University of Pisa
11. Pǎun G. Membrane computing. An introduction (2002), Springer
12. Regev A., Panina E.M., Silverman W., Cardelli L., and Shapiro E. BioAmbients: an abstraction for biological compartments. Theoretical Computer Science 325 (2004) 141-167
13. Regev A., and Shapiro E. Cells as computation. Nature 419 (2002) 343
14. Regev A., and Shapiro E. The π-calculus as an abstraction for biomolecular systems. Modelling in Molecular Biology. Natural Computing Series (2004), Springer 219-266
15. Wells J. The Essence of Principal Typings. Proc. of 29th International Colloquium on Automata, Languages and Programming. ICALP'02. LNCS vol. 2380 (2002), Springer 913-925