Spiking neural P systems and their semantics in Haskell

DOI10.1007/s11047-022-09897-zzbMath1530.68084MaRDI QIDQ6177187

Gabriel Ciobanu, Eneia Nicolae Todoran

Publication date: 31 August 2023

Published in: Natural Computing (Search for Journal in Brave)

zbMATH Keywords

Haskelldenotational semanticsspiking neural P-systemssemantic interpreter

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)

Related Items (1)

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

Cites Work

• Denotational semantics of membrane systems by using complete metric spaces
• Membrane computing. An introduction.
• A formal framework for spiking neural P systems
• Spiking neural P systems: matrix representation and formal verification
• A semantic investigation of spiking neural P systems
• Continuous Lattices and Domains
• Continuation Semantics for Asynchronous Concurrency
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Spiking neural P systems and their semantics in Haskell