A Formal Framework for Static (Tissue) P Systems
From MaRDI portal
Publication:5452062
DOI10.1007/978-3-540-77312-2_17zbMath1137.68387OpenAlexW2152090241MaRDI QIDQ5452062
Publication date: 28 March 2008
Published in: Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/978-3-540-77312-2_17
Related Items (32)
Properties of Membrane Systems ⋮ Quantitative Causality in Membrane Systems ⋮ P Systems with Active Membranes Operating under Minimal Parallelism ⋮ Computing with Multi-membranes ⋮ Variants of derivation modes for which purely catalytic P systems are computationally complete ⋮ Priorities, Promoters and Inhibitors in Deterministic Non-cooperative P Systems ⋮ Promoters and Inhibitors in Purely Catalytic P Systems ⋮ Polymorphic P Systems with Non-cooperative Rules and No Ingredients ⋮ Variants of derivation modes for which catalytic P systems with one catalyst are computationally complete ⋮ Universality in Molecular and Cellular Computing ⋮ Rule synchronization for monodirectional tissue-like P systems with channel states ⋮ Numerical networks of cells ⋮ A tutorial on the formal framework for spiking neural P systems ⋮ Variants of P systems with activation and blocking of rules ⋮ Asynchronous P systems with active membranes ⋮ A P systems variant for reasoning about sequential controllability of Boolean networks ⋮ On the power of boundary rule application in membrane computing ⋮ P Systems Working in Maximal Variants of the Set Derivation Mode ⋮ Kernel P Systems Modelling, Testing and Verification - Sorting Case Study ⋮ Unnamed Item ⋮ Compositional semantics and behavioral equivalences for P systems ⋮ A formal framework for spiking neural P systems ⋮ Spiking neural P systems: matrix representation and formal verification ⋮ How derivation modes and halting conditions may influence the computational power of P systems ⋮ Reversing computation in membrane systems ⋮ (Tissue) P systems working in the \(k\)-restricted minimally or maximally parallel transition mode ⋮ Rule-based and object-based event structures for membrane systems ⋮ Compositional semantics of spiking neural P systems ⋮ Time-freeness and clock-freeness and related concepts in P systems ⋮ P systems with randomized right-hand sides of rules ⋮ A formal framework for clock-free networks of cells ⋮ A formalization of membrane systems with dynamically evolving structures
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- The power of communication: P systems with symport/antiport
- A rewriting logic framework for operational semantics of membrane systems
- P systems with minimal parallelism
- Computing with membranes
- Tissue P systems with channel states
- Membrane computing. An introduction.
- PARTIAL HALTING IN P SYSTEMS
- Membrane Computing
- Membrane Computing
- Membrane Computing
This page was built for publication: A Formal Framework for Static (Tissue) P Systems
