Abstract
This paper presents binders and operators, in the process calculi tradition, to reason about biological interactions.
Special binders are added to wrap a process just as membranes enclose some living matter and hence to mimick biological interfaces. A few operators are then added to the pi-calculus kernel to describe the dynamics of those interfaces.
This work has been partially supported by the FIRB project “Modelli formali per Sistemi Biochimici”.
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.
References
Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular biology of the cell. IVth ed., Garland science (2002)
Berry, G., Boudol, G.: The chemical abstract machine. Theoretical Computer Science 96(1), 217–248 (1992)
Cardelli, L.: Membrane interactions. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)
Danos, V., Krivine, J.: Formal molecular biology done in CCS-R. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)
Danos, V., Laneve, C.: Core formal molecular biology. In: Degano, P. (ed.) ESOP 2003 and ETAPS 2003. LNCS, vol. 2618, pp. 302–318. Springer, Heidelberg (2003)
Danos, V., Laneve, C.: Graphs for core molecular biology. In: Priami, C. (ed.) CMSB 2003. LNCS, vol. 2602, pp. 34–46. Springer, Heidelberg (2003)
Milner, R. (ed.): Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge Universtity Press, Cambridge (1999)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic passing-name calculus to representation and simulation of molecular processes. Information Processing Letters 80, 25–31 (2001)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science (to appear, 2003)
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proceedings of the Pacific Symposium of Biocomputing 2001, vol. 6, pp. 459–470 (2001)
Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge Universtity Press, Cambridge (2001)
Author information
Authors and Affiliations
Editor information
Editors and Affiliations
Rights and permissions
Copyright information
© 2005 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Priami, C., Quaglia, P. (2005). Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds) Computational Methods in Systems Biology. CMSB 2004. Lecture Notes in Computer Science(), vol 3082. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-25974-9_3
Download citation
DOI: https://doi.org/10.1007/978-3-540-25974-9_3
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25375-4
Online ISBN: 978-3-540-25974-9
eBook Packages: Computer ScienceComputer Science (R0)