Compositional semantics of spiking neural P systems

Roberto Barbuti,Andrea Maggiolo-Schettini,Paolo Milazzo,Simone Tini

doi:10.1016/j.jlap.2010.03.011

Compositional semantics of spiking neural P systems

Roberto Barbuti, Andrea Maggiolo-Schettini + Show 2 more

Open Access

https://doi.org/10.1016/j.jlap.2010.03.011

Copy DOI

Journal: Journal of Logic and Algebraic Programming	Publication Date: Apr 2, 2010
Citations: 28	License type: elsevier-specific: oa user license

Affiliation: University of Pisa, University of Insubria

#SNP Systems #Labelled Transition System + Show 8 more

Abstract
Full-Text PDF
Similar Papers

Abstract

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.

Full Text