Abstract
In previous papers we introduced a formalism, called Calculus of Looping Sequences (CLS), for describing biological systems and their evolution. CLS is based on term rewriting. Terms can be constructed by composing symbols of a given alphabet in sequences, which could be closed (looping) and contain other terms. In this paper we extend CLS to represent protein interaction at the domain level. Such an extension, called Calculus of Linked Looping Sequences (LCLS), is obtained by labeling alphabet symbols used in terms. Two symbols with the same label are considered to be linked. We introduce a type system to express a concept of well–formedness of LCLS terms, we give an operational semantics of the new calculus, and we show the application of LCLS to the description of a biological system.
This is a preview of subscription content, log in via an institution to check access.
Access this chapter
Tax calculation will be finalised at checkout
Purchases are for personal use only
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Alur, R., et al.: Hybrid Modeling and Simulation of Biomolecular Networks. In: Di Benedetto, M.D., Sangiovanni-Vincentelli, A.L. (eds.) HSCC 2001. LNCS, vol. 2034, pp. 19–32. Springer, Heidelberg (2001)
Barbuti, R., et al.: A Calculus of Looping Sequences for Modelling Microbiological Systems. Fundamenta Informaticae 72(1-3), 21–35 (2006)
Barbuti, R., et al.: Bisimulation Congruences in the Calculus of Looping Sequences. In: Barkaoui, K., Cavalcanti, A., Cerone, A. (eds.) ICTAC 2006. LNCS, vol. 4281, pp. 93–107. Springer, Heidelberg (2006)
Cardelli, L.: Brane Calculi. Interactions of Biological Membranes. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 257–280. Springer, Heidelberg (2005)
Danos, V., Laneve, C.: Formal Molecular Biology. Theoretical Computer Science 325(1), 69–110 (2004)
Laneve, C., Tarissan, F.: A Simple Calculus for Proteins and Cells. In: Proc. of MeCBIC’06, ENTCS, to appear.
Milazzo, P.: Qualitative and Quantitative Formal Modeling of Biological Systems. PhD Thesis, University of Pisa (2007)
Matsuno, H., et al.: Hybrid Petri Net Representation of Gene Regulatory Network. In: Proc. of PSB’00, pp. 341–352. World Scientific Press, Singapore (2000)
Păun, G.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)
Regev, A., et al.: BioAmbients: An Abstraction for Biological Compartments. Theoretical Computer Science 325(1), 141–167 (2004)
Regev, A., Silverman, W., Shapiro, E.Y.: Representation and Simulation of Biochemical Processes Using the Pi-Calculus Process Algebra. In: Proc. of PSB’01, pp. 459–470. World Scientific Press, Singapore (2001)
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 2007 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Barbuti, R., Maggiolo–Schettini, A., Milazzo, P. (2007). Extending the Calculus of Looping Sequences to Model Protein Interaction at the Domain Level. In: Măndoiu, I., Zelikovsky, A. (eds) Bioinformatics Research and Applications. ISBRA 2007. Lecture Notes in Computer Science(), vol 4463. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-72031-7_58
Download citation
DOI: https://doi.org/10.1007/978-3-540-72031-7_58
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-72030-0
Online ISBN: 978-3-540-72031-7
eBook Packages: Computer ScienceComputer Science (R0)