Abstract
As a preliminary step in testing the expressiveness of Beta-binders against realistic case studies, we comment on a number of operational properties of the formalism and present a set of derived patterns that can be useful when modeling complex biosystems.
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.
Preview
Unable to display preview. Download preview PDF.
Similar content being viewed by others
References
Cardelli, L.: Membrane interactions. In: BioConcur 2003, Workshop on Concurrent Models in Molecular Biology (2003)
Ciocchetta, F., Priami, C., Quaglia, P.: Modeling Kohn interaction maps with Beta-binders: an example (2004) (Submitted for publication)
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. LNCS, vol. 2618, pp. 302–318. Springer, Heidelberg (2003)
Danos, V., Laneve, C.: Core formal molecular biology. In: Full version of [4] (2004) (submitted for publication)
Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice Hall, Englewood Cliffs (1989)
Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)
Priami, C., Quaglia, P.: Beta binders for biological interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 20–33. Springer, Heidelberg (2005)
Priami, C., Regev, A., Silverman, W., Shapiro, E.: Application of a stochastic name-passing calculus to representation and simulation of molecular processes. Information Processing Letters 80(1), 25–31 (2001)
Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.: Bioambients: An abstraction for biological compartments. Theoretical Computer Science (2004) (to appear)
Regev, A., Silverman, W., Shapiro, E.: Representation and simulation of biochemical processes using the pi-calculus process algebra. In: Proc. of the Pacific Symposium on Biocomputing (PSB 2001), vol. 6, pp. 459–470. World Scientific Press, Singapore (2001)
Sangiorgi, D., Walker, D.D.: The π-calculus: a Theory of Mobile Processes. Cambridge University 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 chapter
Cite this chapter
Priami, C., Quaglia, P. (2005). Operational Patterns in Beta-Binders. In: Priami, C. (eds) Transactions on Computational Systems Biology I. Lecture Notes in Computer Science(), vol 3380. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-540-32126-2_5
Download citation
DOI: https://doi.org/10.1007/978-3-540-32126-2_5
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-25422-5
Online ISBN: 978-3-540-32126-2
eBook Packages: Computer ScienceComputer Science (R0)