Skip to main content
SpringerLink
Log in
Book cover

International Workshop on Membrane Computing

WMC 2009: Membrane Computing pp 169–181Cite as

Typed Membrane Systems

  • Conference paper

  • 436 Accesses

Part of the book series: Lecture Notes in Computer Science ((LNTCS,volume 5957))

Abstract

We introduce and study typing rules and a type inference algorithm for membrane systems with symport/antiport evolution rules. The main results are given by a subject reduction theorem and the completeness of type inference. We exemplify how the type system is working by presenting a typed description of the sodium-potassium pump.

This is a preview of subscription content, log in via an institution.

Chapter
USD   29.95
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
eBook
USD   39.99
Price excludes VAT (USA)
  • Available as PDF
  • Read on any device
  • Instant download
  • Own it forever
Softcover Book
USD   54.99
Price excludes VAT (USA)
  • Compact, lightweight edition
  • Dispatched in 3 to 5 business days
  • Free shipping worldwide - see info

Tax calculation will be finalised at checkout

Purchases are for personal use only

Learn about institutional subscriptions

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

References

  1. Alberts, B., Johnson, A., Lewis, J., Raff, M., Roberts, K., Walter, P.: Molecular Biology of the Cell, 5th edn. Garland Science, Taylor & Francis (2008)

    Google Scholar 

  2. Aman, B., Dezani-Ciancaglini, M., Troina, A.: Type disciplines for analysing biologically relevant properties. Electronic Notes in Theoretical Computer Science 227, 97–111 (2009)

    Article  Google Scholar 

  3. Besozzi, D., Ciobanu, G.: A P system description of the sodium-potassium pump. In: Mauri, G., Păun, G., Jesús Pérez-Jímenez, M., Rozenberg, G., Salomaa, A. (eds.) WMC 2004. LNCS, vol. 3365, pp. 210–223. Springer, Heidelberg (2005)

    Google Scholar 

  4. Ciobanu, G., Ciubotariu, V., Tanasa, B.: A Pi-calculus model of the Na-K pump. Genome Informatics 13, 469–472 (2002)

    Google Scholar 

  5. Ciobanu, G., Păun, Gh., Pérez-Jiménez, M.J. (eds.): Applications of Membrane Computing. Springer, Heidelberg (2006)

    Google Scholar 

  6. Fages, F., Soliman, S.: Abstract interpretation and types for systems biology. Theoretical Computer Science 403, 52–70 (2008)

    Article  MATH  MathSciNet  Google Scholar 

  7. Păun, Gh.: Membrane Computing. An Introduction. Springer, Heidelberg (2002)

    MATH  Google Scholar 

  8. Pierce, B.: Types and Programming Languages. MIT Press, Cambridge (2002)

    Google Scholar 

  9. Russell, B.: The Principles of Mathematics, vol. I. Cambridge University Press, Cambridge (1903)

    MATH  Google Scholar 

  10. Wells, J.: The essence of principal typings. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol. 2380, pp. 913–925. Springer, Heidelberg (2002)

    Chapter  Google Scholar 

Download references

Author information

Authors and Affiliations

  1. Romanian Academy, Institute of Computer Science, and, A.I.Cuza University of Iaşi, Romania

    Bogdan Aman & Gabriel Ciobanu

Authors
  1. Bogdan Aman
    View author publications

    You can also search for this author in PubMed Google Scholar

  2. Gabriel Ciobanu
    View author publications

    You can also search for this author in PubMed Google Scholar

Editor information

Editors and Affiliations

  1. Institute of Mathematics of the Romanian Academy, PO Box 1-764, 014700, Bucharest, Romania

    Gheorghe Păun

  2. Research Group on Natural Computing, University of Sevilla, Sevilla, Spain

    Mario J. Pérez-Jiménez

  3. Research Group on Natural Computing, University of Sevilla, Spain

    Agustín Riscos-Núñez

  4. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Niels Bohrweg 1, 2333, Leiden, CA, The Netherlands

    Grzegorz Rozenberg

  5. Turku Centre for Computer Science (TUCS), Leminkäisenkatu 14, 20520, Turku, Finland

    Arto Salomaa

Rights and permissions

Reprints and permissions

Copyright information

© 2010 Springer-Verlag Berlin Heidelberg

About this paper

Cite this paper

Aman, B., Ciobanu, G. (2010). Typed Membrane Systems. In: Păun, G., Pérez-Jiménez, M.J., Riscos-Núñez, A., Rozenberg, G., Salomaa, A. (eds) Membrane Computing. WMC 2009. Lecture Notes in Computer Science, vol 5957. Springer, Berlin, Heidelberg. https://doi.org/10.1007/978-3-642-11467-0_13

Download citation

  • DOI: https://doi.org/10.1007/978-3-642-11467-0_13

  • Publisher Name: Springer, Berlin, Heidelberg

  • Print ISBN: 978-3-642-11466-3

  • Online ISBN: 978-3-642-11467-0

  • eBook Packages: Computer ScienceComputer Science (R0)

Publish with us

Policies and ethics

Search

Navigation