Sciweavers

Share
JLP
2010

Compositional semantics of spiking neural P systems

8 years 9 months ago
Compositional semantics of spiking neural P systems
The aim of the paper is to give a formal compositional semantics for Spiking Neural P systems (SNP systems) by following the Structural Operational Semantics (SOS) approach. A process algebra is introduced whose terms represent SNP systems. The algebra is equipped with a semantics, given as a labelled transition system. This semantics allows notions of behavioural equivalences over SNP systems to be studied. Some known equivalences are considered and their definition based on the given semantics is provided. Such equivalences are proved to be congruences.
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo
Added 19 May 2011
Updated 19 May 2011
Type Journal
Year 2010
Where JLP
Authors Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo Milazzo, Simone Tini
Comments (0)
books