Variants of spiking neural P systems and their operational semantics in Haskell

DOI10.1007/s41965-023-00122-zMaRDI QIDQ6048240

Gabriel Ciobanu, Eneia Nicolae Todoran

Publication date: 14 September 2023

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

zbMATH Keywords

structural plasticityspiking neural P-systemsHaskell implementationsinhibitory rulesoperational semantics with continuations

Mathematics Subject Classification ID

Functional programming and lambda calculus (68N18) Semantics in the theory of computing (68Q55) Biologically inspired models of computation (DNA computing, membrane computing, etc.) (68Q07)

Cites Work

• A P-Lingua based simulator for tissue P systems
• Membrane computing. An introduction.
• A structural approach to operational semantics
• A formal framework for spiking neural P systems
• Computational completeness of spiking neural P systems with inhibitory rules for generating string languages
• A semantic investigation of spiking neural P systems
• Spiking neural P systems with rules on synapses
• Asynchronous Spiking Neural P Systems with Structural Plasticity
• Continuation Semantics for Asynchronous Concurrency
• Unconventional Computation
• A web-based visual simulator for spiking neural P systems
• Spiking neural P systems and their semantics in Haskell
• A process calculus for spiking neural P systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Variants of spiking neural P systems and their operational semantics in Haskell