Some new developments in kP-Lingua

DOI10.1007/S41965-026-00221-7MaRDI QIDQ7390966zbMATH OpenFDO

Authors Ştefan Iacob, Florentin Ipate, Ionuţ Mihai Niculescu, Savas Konur

Publication date 2026

Published in Journal of Membrane Computing (Search for Journal in Brave)

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.1007/S41965-026-00221-7

Mathematics Subject Classification ID

Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07) Specification and verification (program logics, model checking, etc.) (68Q60)

Cites work

• 3-Col problem modelling using simple kernel P systems
• A path to computational efficiency through membrane computing
• A web-based visual simulator for spiking neural P systems
• Computing with membranes
• Conventional verification for unconventional computing: a genetic XOR gate example
• Formal verification of cP systems using Coq
• scientific article; zbMATH DE number 5671765 (Why is no real title available?)
• Kernel P systems: from modelling to verification and testing
• Membrane computing. An introduction.
• Modelling and validating an engineering application in kernel P systems
• Real-life applications with membrane computing
• Simulation challenges in membrane computing
• Spiking neural P systems: matrix representation and formal verification
• Tissue P systems with promoter simulation with MeCoSim and P-Lingua framework
• Tissue-like P systems with evolutional symport/antiport rules

This page was built for publication: Some new developments in kP-Lingua

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