A kernel P systems survey

DOI10.1007/978-3-642-54239-8_1MaRDI QIDQ5404839zbMATH OpenOpenAlexFDO

Authors Marian Gheorghe, Florentin Ipate

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_1

Mathematics Subject Classification ID

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

Recommendations

• Some classes of generalised communicating P systems and simple kernel P systems
• Kernel P systems: from modelling to verification and testing
• 3-Col problem modelling using simple kernel P systems
• Model Checking Kernel P Systems
• Kernel P systems modelling, testing and verification -- sorting case study

Cited in

(11)

• scientific article; zbMATH DE number 6665225 (Why is no real title available?)
• Synchronization of rules in membrane computing
• Kernel P systems: from modelling to verification and testing
• On the efficiency of synchronized P systems
• Solving SAT with P systems with anti-membranes
• Relating randomized right-hand sides to communicating rewriting rules
• P systems with evolutional communication and separation rules
• 3-Col problem modelling using simple kernel P systems
• Simulating and model checking membrane systems using strategies in Maude
• scientific article; zbMATH DE number 3980548 (Why is no real title available?)
• The power of synchronizing rules in membrane computing

This page was built for publication: A kernel P systems survey

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