We present a metric denotational semantics for an experimental concurrent language inspired by the spiking neural P systems. At syntactic level, the language provides constructions for specifying the neurons, synapses and rules with time delays defining a spiking neural P system. The denotational semantics presented in this paper is designed by using continuations. We employ metric spaces, including a metric powerdomain to describe the nondeterministic behaviour. Our denotational semantics describes accurately the time delays between firings and spikings, the nondeterministic behaviour and the synchronized functioning that are specific of a spiking neural P system. An implementation in the functional language Haskell is also provided; it can be tested and evaluated, being available for software experiments.
展开▼