On the development of reactive systems
Logics and models of concurrent systems
Communication and Concurrency
Membrane Computing: An Introduction
Membrane Computing: An Introduction
Concurrency and Automata on Infinite Sequences
Proceedings of the 5th GI-Conference on Theoretical Computer Science
Using well-structured transition systems to decide divergence for catalytic P systems
Theoretical Computer Science
A rewriting logic framework for operational semantics of membrane systems
Theoretical Computer Science
Compositional semantics and behavioral equivalences for P Systems
Theoretical Computer Science
WMC'07 Proceedings of the 8th international conference on Membrane computing
A formal framework for static (tissue) P systems
WMC'07 Proceedings of the 8th international conference on Membrane computing
Encoding-Decoding transitional systems for classes of p systems
WMC'05 Proceedings of the 6th international conference on Membrane Computing
A Notion of Biological Diagnosability Inspired by the Notion of Opacity in Systems Security
Fundamenta Informaticae - Concurrency Specification and Programming (CS&P)
Flattening the transition P systems with dissolution
CMC'10 Proceedings of the 11th international conference on Membrane computing
Membrane systems working in generating and accepting modes: expressiveness and encodings
CMC'10 Proceedings of the 11th international conference on Membrane computing
Foundational aspects of multiscale modeling of biological systems with process algebras
Theoretical Computer Science
Hi-index | 0.00 |
Starting from a compositional operational semantics of transition P Systems we have previously defined, we face the problem of developing an axiomatization that is sound and complete with respect to some behavioural equivalence. To achieve this goal, we propose to transform the systems into a normal form with an equivalent semantics. As a first step, we introduce axioms which allow the transformation of membrane structures into flat membranes. We leave as future work the further step that leads to the wanted normal form.