Skip to main content
SpringerLink
Log in
Book cover

Membrane Computing

12th International Conference, CMC 2011, Fontainebleau, France, August 23-26, 2011, Revised Selected Papers

  • Conference proceedings
  • © 2012

Overview

Editors:
  1. Marian Gheorghe

    1. Dept. of Computer Science, University of Sheffield, Sheffield, UK

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  2. Gheorghe Păun

    1. Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  3. Grzegorz Rozenberg

    1. Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  4. Arto Salomaa

    1. Turku Centre for Computer Science (TUCS), Turku, Finland

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  5. Sergey Verlan

    1. Faculté des Sciences et Technologie, Laboratoire d’Algorithmique, Complexité et Logique (LACL), Université Paris Est – Créteil Val de Marne, Créteil, France

    View editor publications

    You can also search for this editor in PubMed   Google Scholar

  • Up-to-date results
  • Fast-track conference proceedings
  • State-of-the-art research

Part of the book series: Lecture Notes in Computer Science (LNCS, volume 7184)

Part of the book sub series: Theoretical Computer Science and General Issues (LNTCS)

Included in the following conference series:

Conference proceedings info: CMC 2011.

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

Access this book

Log in via an institution
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

Other ways to access

Licence this eBook for your library

Institutional subscriptions

Table of contents (24 papers)

  1. Front Matter

    Download chapter PDF

  3. Regular Presentations

    1. Quantitative Causality in Membrane Systems

      • Oana Agrigoroaiei, Gabriel Ciobanu
      Pages 62-72

    2. Circular Post Machines and P Systems with Exo-insertion and Deletion

      • Artiom Alhazov, Alexander Krassovitskiy, Yurii Rogozhin
      Pages 73-86

    3. A Spiking Neural P System Simulator Based on CUDA

      • Francis George C. Cabarle, Henry Adorna, Miguel A. Martínez
      Pages 87-103

    4. Modularity in P Colonies with Checking Rules

      • Luděk Cienciala, Lucie Ciencialová, Miroslav Langer
      Pages 104-119

    5. Finite dP Automata versus Multi-head Finite Automata

      • Erzsébet Csuhaj-Varjú, György Vaszil
      Pages 120-138

    6. An Adaptive Algorithm for P System Synchronization

      • Michael J. Dinneen, Yun-Bum Kim, Radu Nicolescu
      Pages 139-164

    7. P Systems with Active Membranes Operating under Minimal Parallelism

      • Pierluigi Frisco, Gordon Govan
      Pages 165-181

    8. Chemical Analog Computers for Clock Frequency Control Based on P Modules

      • Thomas Hinze, Christian Bodenstein, Benedict Schau, Ines Heiland, Stefan Schuster
      Pages 182-202

    9. Evolutionary Design of a Simple Membrane System

      • Xiaoli Huang, Gexiang Zhang, Haina Rong, Florentin Ipate
      Pages 203-214

    10. Formal Verification of P Systems with Active Membranes through Model Checking

      • Florentin Ipate, Raluca Lefticaru, Ignacio Pérez-Hurtado, Mario J. Pérez-Jiménez, Cristina Tudose
      Pages 215-225

    11. Basic Concurrency Resolution in Clock-Free P Systems

      • Sergiu Ivanov
      Pages 226-242

    12. Asynchronous Extended Spiking Neural P Systems with Astrocytes

      • Linqiang Pan, Jun Wang, Hendrik Jan Hoogeboom
      Pages 243-256

    13. A P–Lingua Based Simulator for Spiking Neural P Systems

      • Luis F. Macías–Ramos, Ignacio Pérez–Hurtado, Manuel García–Quismondo, Luis Valencia–Cabrera, Mario J. Pérez–Jiménez, Agustín Riscos–Núñez
      Pages 257-281

    14. Computing with Multi-membranes

      • Vincenzo Manca, Rosario Lombardo
      Pages 282-299
Back to top

Other volumes

  1. Membrane Computing

Keywords

About this book

This book constitutes the thoroughly refereed post-conference proceedings of the 12th International Conference on Membrane Computing, CMC 2011, held in Fontainebleau, France, in August 2011. The 19 revised selected papers presented were carefully reviewed and selected from 27 papers and 5 posters presented at the conference. The book also contains full papers or extended abstracts of the 5 invited presentations. The papers address all the main directions of research in membrane computing, ranging from theoretical topics in the mathematics and computer science to application issues.

Editors and Affiliations

  • Dept. of Computer Science, University of Sheffield, Sheffield, UK

    Marian Gheorghe

  • Institute of Mathematics of the Romanian Academy, Bucharest, Romania

    Gheorghe Păun

  • Leiden Center of Advanced Computer Science (LIACS), Leiden University, Leiden, The Netherlands

    Grzegorz Rozenberg

  • Turku Centre for Computer Science (TUCS), Turku, Finland

    Arto Salomaa

  • Faculté des Sciences et Technologie, Laboratoire d’Algorithmique, Complexité et Logique (LACL), Université Paris Est – Créteil Val de Marne, Créteil, France

    Sergey Verlan

Bibliographic Information

Publish with us

Policies and ethics

Back to top

Search

Navigation