On Beta-Binders Communications

  • Paola Quaglia
Part of the Lecture Notes in Computer Science book series (LNCS, volume 5065)

Abstract

Beta-binders is a bio-inspired formalism with a formal reduction semantics in the process calculi style. The terms of the language are boxes with an internal processing engine and provided with interfaces for interactions with the other boxes in the environment.

Although Beta-binders shares some features with Ambient-like calculi, it exhibits a quite distinctive communication paradigm which might show to be relevant to modelling scenarios other than the biological ones. In the perspective of developing a formal theory for the language, and hence deepening the understanding of such a communication paradigm, here we define a labelled semantics for Beta-binders and show its correspondence to the original reduction semantics.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. 1.
    Cardelli, L.: Brane Calculi. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082. Springer, Heidelberg (2005)Google Scholar
  2. 2.
    Cardelli, L., Gordon, A.D.: Mobile Ambients. Theoretical Computer Science 240(1), 177–213 (2000)MATHCrossRefMathSciNetGoogle Scholar
  3. 3.
    Degano, P., Prandi, D., Priami, C., Quaglia, P.: Beta-binders for Biological Quantitative Experiments. In: Proc. 4th Workshop on Quantitative Aspects of Programming Languages, QAPL 2006. ENTCS, vol. 164, pp. 101–117 (2006)Google Scholar
  4. 4.
    Ferrari, G.-L., Montanari, U., Quaglia, P.: A π-calculus with Explicit Substitutions. Theoretical Computer Science 168(1), 53–103 (1996)MATHCrossRefMathSciNetGoogle Scholar
  5. 5.
    Hennessy, M., Lin, H.: Symbolic Bisimulations. Theoretical Computer Science 138, 353–389 (1995)MATHCrossRefMathSciNetGoogle Scholar
  6. 6.
    Larcher, R., Ihekwaba, A., Priami, C.: A BetaWB model for the NFkB pathway. Technical Report TR-25-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)Google Scholar
  7. 7.
    Milner, R.: Communication and Concurrency. International Series in Computer Science. Prentice-Hall, Englewood Cliffs (1989)MATHGoogle Scholar
  8. 8.
    Milner, R.: Communicating and mobile systems: the π-calculus. Cambridge University Press, Cambridge (1999)Google Scholar
  9. 9.
    Milner, R., Parrow, J., Walker, D.: A Calculus of Mobile Processes, Part I and II. Information and Computation 100(1), 1–77 (1992)MATHCrossRefMathSciNetGoogle Scholar
  10. 10.
    Perelson, A.S., Oster, G.F.: Theoretical studies of clonal selection: minimal antibody repertoire size and reliability of self-non-self discrimination. J. Theoretical Biology 81(4) (1979)Google Scholar
  11. 11.
    Prandi, D., Priami, C., Quaglia, P.: Shape spaces in formal interactions. ComPlexUs 2(3-4), 128–139 (2006)CrossRefGoogle Scholar
  12. 12.
    Prandi, D., Priami, C., Quaglia, P.: Communicating by Compatibility. Journal of Logic and Algebraic Programming (to appear, 2007)Google Scholar
  13. 13.
    Priami, C., Quaglia, P.: Beta Binders for Biological Interactions. In: Danos, V., Schachter, V. (eds.) CMSB 2004. LNCS (LNBI), vol. 3082, pp. 21–34. Springer, Heidelberg (2005)Google Scholar
  14. 14.
    Regev, A., Panina, E.M., Silverman, W., Cardelli, L., Shapiro, E.Y.: Bioambients: an abstraction for biological compartments. Theoretical Computer Science 325(1), 141–167 (2004)MATHCrossRefMathSciNetGoogle Scholar
  15. 15.
    Romanel, A., Dematté, L., Priami, C.: The Beta Workbench. Technical Report TR-03-2007, The Microsoft Research - University of Trento Centre for Computational and Systems Biology (2007)Google Scholar
  16. 16.
    Sangiorgi, D., Walker, D.: The π-calculus: a Theory of Mobile Processes. Cambridge University Press, Cambridge (2001)Google Scholar
  17. 17.
    Shinwell, M.R.: The Fresh Approach: functional programming with names and binders. PhD thesis, University of Cambridge Computer Laboratory (2005)Google Scholar

Copyright information

© Springer-Verlag Berlin Heidelberg 2008

Authors and Affiliations

  • Paola Quaglia
    • 1
  1. 1.Dipartimento di Ingegneria e Scienza dell’InformazioneUniversità di TrentoItaly

Personalised recommendations