Abstract

This paper presents a calculus inspired by the spiking neural P systems. Its operational and denotational semantics are defined; they are related by using the metric semantics methodology, showing that the denotational semantics is correct with respect to the operational one. We use the continuations for concurrency to describe precisely the nondeterministic behaviour, the time delays between firings and spikings, as well as the synchronized functioning specific to spiking neural P systems.

Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call