Spiking neural P systems: matrix representation and formal verification
DOI10.1007/S41965-021-00075-1zbMATH Open1469.68035OpenAlexW3159063292MaRDI QIDQ1983014FDOQ1983014
Ionuţ Mihai Niculescu, Raluca Lefticaru, Marian Gheorghe, Savas Konur, Henry N. Adorna
Publication date: 14 September 2021
Published in: Journal of Membrane Computing (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/s41965-021-00075-1
Specification and verification (program logics, model checking, etc.) (68Q60) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Computing with membranes
- Membrane computing. An introduction.
- 3-Col problem modelling using simple kernel P systems
- A Formal Framework for Static (Tissue) P Systems
- On Structures and Behaviors of Spiking Neural P Systems and Petri Nets
- Generalized communicating P systems
- Model-checking of correctness conditions for concurrent objects
- Dual P Systems
- On Reversibility and Determinism in P Systems
- Reversing computation in membrane systems
- Modelling and validating an engineering application in kernel P systems
- A formal framework for spiking neural P systems
- Towards light-weight probabilistic model checking
- Kernel P systems: from modelling to verification and testing
- A survey on temporal logics for specifying and verifying real-time systems
- An Integrated Model Checking Toolset for Kernel P Systems
- Kernel P Systems Modelling, Testing and Verification - Sorting Case Study
- Matrix Representation of Spiking Neural P Systems
- Conventional Verification for Unconventional Computing: a Genetic XOR Gate Example
Cited In (8)
- Languages generated by numerical P systems with thresholds
- A web-based visual simulator for spiking neural P systems
- Spiking neural P systems and their semantics in Haskell
- A key agreement protocol based on spiking neural P systems with anti-spikes
- Formal verification of cP systems using Coq
- Dynamic threshold P systems with delay on synapses for shortest path problems
- Matrix representation and simulation algorithm of numerical spiking neural P systems
- Computing the Maximum Bisimulation with Spiking Neural P Systems
Uses Software
This page was built for publication: Spiking neural P systems: matrix representation and formal verification
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1983014)
