A process calculus for spiking neural P systems (Q6191634)
From MaRDI portal
scientific article; zbMATH DE number 7814668
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | A process calculus for spiking neural P systems |
scientific article; zbMATH DE number 7814668 |
Statements
A process calculus for spiking neural P systems (English)
0 references
7 March 2024
0 references
spiking neural P systems
0 references
denotational and operational semantics
0 references
continuation semantics for concurrency
0 references
metric spaces
0 references
