A kernel P systems survey
From MaRDI portal
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)