The proceedings contain 18 papers. The special focus in this conference is on Membrane Computing. The topics include: Generalized P colony automata and their relation to P automata; modelling and validating an engineering application in kernel P systems; solving a special case of the P conjecture using dependency graphs with dissolution; most common words – A cP systems solution; tissue P systems with rule production/removal; reversing steps in membrane systems computations; Families of languages encoded by SN P systems; on the robust power of morphogenetic systems for time bounded computation; hierarchical P systems with randomized right-hand sides of rules; controlled reversibility in reaction systems; multiset patterns and their application to dynamic causalities in membrane systems; counting membrane systems; APCol systems with teams; bi-simulation between P colonies and P systems with multi-stable catalysts; computationally complete generalized communicating P systems with three cells; event-based life in a nutshell: How evaluation of individual life cycles can reveal statistical inferences using action-accumulating P systems.

Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (a cura di). (2018). Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers. Springer [10.1007/978-3-319-73359-3].

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

Zandron, C
2018

Abstract

The proceedings contain 18 papers. The special focus in this conference is on Membrane Computing. The topics include: Generalized P colony automata and their relation to P automata; modelling and validating an engineering application in kernel P systems; solving a special case of the P conjecture using dependency graphs with dissolution; most common words – A cP systems solution; tissue P systems with rule production/removal; reversing steps in membrane systems computations; Families of languages encoded by SN P systems; on the robust power of morphogenetic systems for time bounded computation; hierarchical P systems with randomized right-hand sides of rules; controlled reversibility in reaction systems; multiset patterns and their application to dynamic causalities in membrane systems; counting membrane systems; APCol systems with teams; bi-simulation between P colonies and P systems with multi-stable catalysts; computationally complete generalized communicating P systems with three cells; event-based life in a nutshell: How evaluation of individual life cycles can reveal statistical inferences using action-accumulating P systems.
Computer Science, formal language, communication, membrane computing, model checking, simulation, semantics
English
2018
978-3-319-73358-6
10725
Springer
none
Gheorghe, M., Rozenberg, G., Salomaa, A., Zandron, C. (a cura di). (2018). Membrane Computing 18th International Conference, CMC 2017, Bradford, UK, July 25-28, 2017, Revised Selected Papers. Springer [10.1007/978-3-319-73359-3].
File in questo prodotto:
Non ci sono file associati a questo prodotto.

I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.

Utilizza questo identificativo per citare o creare un link a questo documento: https://hdl.handle.net/10281/186527
Citazioni
  • Scopus 0
  • ???jsp.display-item.citation.isi??? ND
Social impact