On the verification of membrane systems with dynamic structure
From MaRDI portal
Publication:609035
DOI10.1007/s11047-010-9214-0zbMath1207.68148OpenAlexW2004242663MaRDI QIDQ609035
Giorgio Delzanno, Laurent Van Begin
Publication date: 30 November 2010
Published in: Natural Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s11047-010-9214-0
Related Items (1)
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Gemmating P systems: Collapsing hierarchies.
- Computing with membranes
- Verifying lossy channel systems has nonprimitive recursive complexity.
- On the power of membrane division in P systems
- BioAmbients: an abstraction for biological compartments
- Catalytic P systems, semilinear sets, and vector addition systems
- Membrane division, restricted membrane creation and object complexity in P systems
- A Biologically Inspired Model with Fusion and Clonation of Membranes
- An Algorithm for the General Petri Net Reachability Problem
- On the Dynamics of PB Systems with Volatile Membranes
- Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
- Automata, Languages and Programming
- Membrane Computing
- Membrane Computing
- Well-structured transition systems everywhere!
This page was built for publication: On the verification of membrane systems with dynamic structure
