A process calculus for spiking neural P systems

DOI10.1016/j.ins.2022.03.096OpenAlexW4226533695WikidataQ114014161 ScholiaQ114014161MaRDI QIDQ6191634

Gabriel Ciobanu, Eneia Nicolae Todoran

Publication date: 7 March 2024

Published in: Information Sciences (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.ins.2022.03.096

zbMATH Keywords

metric spacesspiking neural P systemsdenotational and operational semanticscontinuation semantics for concurrency

Mathematics Subject Classification ID

Biology and other natural sciences (92-XX) Computer science (68-XX)

Related Items (1)

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

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Spiking neural P systems with neuron division and budding
• Solving reflexive domain equations in a category of complete metric spaces
• Spiking neural P systems with extended rules: universality and languages
• Denotational semantics of membrane systems by using complete metric spaces
• Membrane computing. An introduction.
• A structural approach to operational semantics
• A formal framework for spiking neural P systems
• Spiking neural P systems with target indications
• A semantic investigation of spiking neural P systems
• Spiking neural P systems with rules on synapses
• Data Types as Lattices
• Spiking Neuron Models
• Continuation Semantics for Asynchronous Concurrency

This page was built for publication: A process calculus for spiking neural P systems