© 2018

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
  2. Artiom Alhazov, Rudolf Freund, Sergiu Ivanov
    Pages 15-39
  3. Bogdan Aman, Gabriel Ciobanu
    Pages 40-53
  4. Roberto Barbuti, Roberta Gori, Paolo Milazzo
    Pages 54-73
  5. Luis Valencia-Cabrera, David Orellana-Martín, Agustín Riscos-Núñez, Mario J. Pérez-Jiménez
    Pages 74-87
  6. Lucie Ciencialová, Luděk Cienciala, Erzsébet Csuhaj-Varjú
    Pages 88-104
  7. Erzsébet Csuhaj-Varjú, Sergey Verlan
    Pages 105-117
  8. Erzsébet Csuhaj-Varjú, Sergey Verlan
    Pages 118-128
  9. Richelle Ann B. Juayong, Nestine Hope S. Hernandez, Francis George C. Cabarle, Kelvin C. Buño, Henry N. Adorna
    Pages 151-166
  10. Kristóf Kántor, György Vaszil
    Pages 167-182
  11. Raluca Lefticaru, Mehmet Emin Bakir, Savas Konur, Mike Stannett, Florentin Ipate
    Pages 183-195
  12. Alberto Leporati, Luca Manzoni, Giancarlo Mauri, Antonio E. Porreca, Claudio Zandron
    Pages 196-213
  13. Radu Nicolescu
    Pages 214-229
  14. Linqiang Pan, Bosheng Song, Gexiang Zhang
    Pages 230-244
  15. G. Michele Pinna
    Pages 245-261
  16. José M. Sempere
    Pages 262-269
  17. Petr Sosík, Vladimír Smolka, Jan Drastík, Jaroslav Bradík, Max Garzon
    Pages 270-292
  18. Back Matter
    Pages 293-293

About these proceedings


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.


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

Industry Sectors
Chemical Manufacturing
IT & Software
Consumer Packaged Goods