A type system for required/excluded elements in CLS

Electronic Proceedings in Theoretical Computer Science, EPTCS

Volumn 9, Issue , 2009, Pages 38-48

  Dezani Ciancaglini, Mariangiola ^a   Giannini, Paola ^b   Troina, Angelo ^a  

^a UNIVERSITY OF TURIN   (Italy)

^b UNIVERSITY OF EASTERN PIEDMONT   (Italy)

Author keywords

[No Author keywords available]

Indexed keywords

BIOLOGY; COMPUTATION THEORY; COMPUTATIONAL METHODS;

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

CALCULATIONS;

EID: 85051002108     PISSN: 20752180     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.4204/EPTCS.9.5     Document Type: Conference Paper

References (17)

1. Alur, R., Belta, C., Ivancic, F., Kumar, V., Mintz, M., Pappas, G.J., Rubin, H. and Schug, J. (2001) Hybrid modelling and simulation of biomolecular networks. Proc. of Hybrid Systems: Computation and Control, LNCS 2034, Springer, 19-32.
2. Aman, B., Dezani-Ciancaglini, M. and Troina, A. (2008) Type disciplines for analysing biologically relevant properties. Proc. of Second InternationalMeeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'08), ENTCS 227, Elsevier, 97-111.
3. Barbuti, R., Maggiolo-Schettini, A. and Milazzo, P. (2007) 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 4463, Springer, 638-649.
4. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., Tiberi, P. and Troina, A. (2008) Stochastic calculus of looping sequences for the modelling and simulation of cellular pathways.Transactions on Computational Systems Biology, vol. IX, 86-113.
5. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P. and Troina, A. (2006) A calculus of looping sequences for modelling microbiological systems. Fundamenta Informaticae, 72, 21-35.
6. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P. and Troina, A. (2006) Bisimulation congruences in the calculus of looping sequences. Proc. of International Colloquium on Theoretical Aspects of Computing (ICTAC'06), LNCS 4281, Springer, 93-107.
7. Barbuti, R., Maggiolo-Schettini, A., Milazzo, P., and Troina, A. (2008) Bisimulations in calculi modelling membranes. Formal Aspects of Computing, 20(4-5), 351-377.
8. Cardelli, L. (2005) Brane calculi. Interactions of biological membranes. Proc. of Comput. Methods in Systems Biology (CMSB'04), LNCS 3082, Springer, 257-280.
9. Danos, V. and Laneve, C. (2004) Formal molecular biology. Theoretical Computer Science, 325, 69-110.
10. Dezani-Ciancaglini, M., Giannini, P. and Troina, A. (2009) A Type System for a Stochastic CLS. Proc. of Third International Meeting on Membrane Computing and Biologically Inspired Process Calculi (MeCBIC'09), EPTCS, to appear.
11. Matsuno, H., Doi, A., Nagasaki, M. and Miyano, S. (2000) Hybrid Petri net representation of gene regulatory network. Proc. of Pacific Symposium on Biocomputing, World Scientific Press, 341-352.
12. Milazzo, P. (2007) Qualitative and quantitative formal modelling of biological systems. Ph.D. Thesis, University of Pisa.
13. Pǎun, G. (2002) Membrane computing. An introduction. Springer, 2002.
14. Regev, A., Panina, E. M., Silverman, W., Cardelli, L. and Shapiro, E. (2004) BioAmbients: an abstraction for biological compartments. Theoretical Computer Science, 325, 141-167.
15. Regev, A. and Shapiro, E. (2002) Cells as computation. Nature, 419, 343.
16. Regev, A. and Shapiro, E. (2004) The p -calculus as an abstraction for biomolecular systems. Modelling in Molecular Biology, Natural Computing Series, Springer, 219-266.
17. Wells, J. (2002). The essence of principal typings. Proc. of 29th International Colloquium on Automata, Languages and Programming (ICALP'02), LNCS 2380, Springer, 913-925.