Using the formal framework for P systems

DOI10.1007/978-3-642-54239-8_6MaRDI QIDQ5404843zbMATH OpenOpenAlexFDO

Authors Sergey Verlan

Publication date 28 March 2014

Published in Membrane Computing (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-642-54239-8_6

Mathematics Subject Classification ID

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

Recommendations

• A formalization of membrane systems with dynamically evolving structures
• A Formal Framework for Static (Tissue) P Systems
• P systems with picture objects
• Current developments on computational modeling using P systems
• A formal framework for spiking neural P systems

Cited in

(11)

• scientific article; zbMATH DE number 5506889 (Why is no real title available?)
• A formal framework for spiking neural P systems
• Universal enzymatic numerical P systems with small number of enzymatic rules
• Universality of SN P systems with stochastic application of rules
• A Formal Framework for Static (Tissue) P Systems
• Numerical networks of cells
• FORMAL VERIFICATION OF P SYSTEMS USING SPIN
• Bi-simulation between P colonies and P systems with multi-stable catalysts
• Tuning P systems for solving the broadcasting problem
• A tutorial on the formal framework for spiking neural P systems
• A formalization of membrane systems with dynamically evolving structures

This page was built for publication: Using the formal framework for P systems

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