On the verification of membrane systems with dynamic structure

DOI10.1007/S11047-010-9214-0MaRDI QIDQ609035zbMATH OpenOpenAlexFDO

Authors 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

zbMATH Keywords

verificationP-systemsdecidability results

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10)

Recommendations

• Properties of membrane systems
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• Static and dynamic membrane structures
• Automata, Languages and Programming
• A formalization of membrane systems with dynamically evolving structures

Cites work

• scientific article; zbMATH DE number 3885321 (Why is no real title available?)
• scientific article; zbMATH DE number 1951578 (Why is no real title available?)
• scientific article; zbMATH DE number 2044498 (Why is no real title available?)
• scientific article; zbMATH DE number 1543318 (Why is no real title available?)
• scientific article; zbMATH DE number 1889386 (Why is no real title available?)
• scientific article; zbMATH DE number 3310089 (Why is no real title available?)
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• An Algorithm for the General Petri Net Reachability Problem
• Automata, Languages and Programming
• BioAmbients: an abstraction for biological compartments
• Catalytic P systems, semilinear sets, and vector addition systems
• Computing with membranes
• Gemmating P systems: Collapsing hierarchies.
• Membrane Computing
• Membrane Computing
• Membrane division, restricted membrane creation and object complexity in P systems
• On the Dynamics of PB Systems with Volatile Membranes
• On the power of membrane division in P systems
• P systems with active membranes: Attacking NP-complete problems
• P systems with proteins on membranes
• Verifying lossy channel systems has nonprimitive recursive complexity.
• Well-Quasi-Ordering, The Tree Theorem, and Vazsonyi's Conjecture
• Well-structured transition systems everywhere!

Cited in

(9)

• Automata, Languages and Programming
• A Biologically Inspired Model with Fusion and Clonation of Membranes
• scientific article; zbMATH DE number 7298595 (Why is no real title available?)
• Reachability problems in BioAmbients
• On the Reachability Problem in P Systems with Mobile Membranes
• On the Dynamics of PB Systems with Volatile Membranes
• Properties of membrane systems
• Static and dynamic membrane structures
• A formalization of membrane systems with dynamically evolving structures

This page was built for publication: On the verification of membrane systems with dynamic structure

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q609035)