Membrane Computing

18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers

  • Marian Gheorghe
  • Grzegorz Rozenberg
  • Arto Salomaa
  • Claudio Zandron
Conference proceedings CMC 2017

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

Also part of the Theoretical Computer Science and General Issues book sub series (LNTCS, volume 10725)

Table of contents

  1. Front Matter
    Pages I-XVI
    PDF
  2. Simulating Evolutional Symport/Antiport by Evolution-Communication and vice versa in Tissue P Systems with Parallel Communication
    Henry Adorna, Artiom Alhazov, Linqiang Pan, Bosheng Song
    Pages 1-14
  3. Hierarchical P Systems with Randomized Right-Hand Sides of Rules
    Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
    Pages 15-39
  4. Controlled Reversibility in Reaction Systems
    Bogdan Aman, Gabriel Ciobanu
    Pages 40-53
  5. Multiset Patterns and Their Application to Dynamic Causalities in Membrane Systems
    Roberto Barbuti, Roberta Gori, Paolo Milazzo
    Pages 54-73
  6. Counting Membrane Systems
    Luis Valencia-Cabrera, David Orellana-Martín, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
    Pages 74-87
  7. APCol Systems with Teams
    Lucie Ciencialová, Luděk Cienciala, Erzsébet Csuhaj-Varjú
    Pages 88-104
  8. Bi-simulation Between P Colonies and P Systems with Multi-stable Catalysts
    Erzsébet Csuhaj-Varjú, Sergey Verlan
    Pages 105-117
  9. Computationally Complete Generalized Communicating P Systems with Three Cells
    Erzsébet Csuhaj-Varjú, Sergey Verlan
    Pages 118-128
  10. Event-Based Life in a Nutshell: How Evaluation of Individual Life Cycles Can Reveal Statistical Inferences Using Action-Accumulating P Systems
    Thomas Hinze, Benjamin Förster
    Pages 129-150
  11. On Evolution-Communication P Systems with Energy Having Bounded and Unbounded Communication
    Richelle Ann B. Juayong, Nestine Hope S. Hernandez, Francis George C. Cabarle, Kelvin C. Buño, Henry N. Adorna
    Pages 151-166
  12. Generalized P Colony Automata and Their Relation to P Automata
    Kristóf Kántor, György Vaszil
    Pages 167-182
  13. Modelling and Validating an Engineering Application in Kernel P Systems
    Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
    Pages 183-195
  14. Solving a Special Case of the P Conjecture Using Dependency Graphs with Dissolution
    Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
    Pages 196-213
  15. Most Common Words – A cP Systems Solution
    Radu Nicolescu
    Pages 214-229
  16. Tissue P Systems with Rule Production/Removal
    Linqiang Pan, Bosheng Song, Gexiang Zhang
    Pages 230-244
  17. Reversing Steps in Membrane Systems Computations
    G. Michele Pinna
    Pages 245-261
  18. Families of Languages Encoded by SN P Systems
    José M. Sempere
    Pages 262-269
  19. On the Robust Power of Morphogenetic Systems for Time Bounded Computation
    Petr Sosík, Vladimír Smolka, Jan Drastík, Jaroslav Bradík, Max Garzon
    Pages 270-292
  20. Back Matter
    Pages 293-293
    PDF

About these proceedings

Introduction

This book contains revised selected papers from the 18th International Conference on Membrane Computing, CMC 2017, held in Bradford, UK, in July 2017.
The 18 full papers presented in this volume were carefully reviewed and selected from 29 submissions. They deal with membrane computing (P systems theory), an area of computer science aiming to abstract computing ideas and models from the structure and the functioning of living cells, as well as from the way the cells are organized in tissues or higher order structures. The volume also contains 2 invited talks.

Keywords

Computer Science formal language communication membrane computing model checking simulation semantics

Editors and affiliations

  • Marian Gheorghe
    • 1
  • Grzegorz Rozenberg
    • 2
  • Arto Salomaa
    • 3
  • Claudio Zandron
    • 4
  1. 1.University of BradfordBradfordUnited Kingdom
  2. 2.Leiden UniversityLeidenThe Netherlands
  3. 3.Turku Centre for Computer ScienceTurkuFinland
  4. 4.University of Milan-BicoccaMilanItaly

Bibliographic information

  • DOI https://doi.org/10.1007/978-3-319-73359-3
  • Copyright Information Springer International Publishing AG 2018
  • Publisher Name Springer, Cham
  • eBook Packages Computer Science
  • Print ISBN 978-3-319-73358-6
  • Online ISBN 978-3-319-73359-3
  • Series Print ISSN 0302-9743
  • Series Online ISSN 1611-3349
  • About this book
Industry Sectors
Pharma
Automotive
Finance, Business & Banking
Electronics
IT & Software
Telecommunications
Aerospace
Engineering