Compositional semantics of spiking neural P systems |
| |
Affiliation: | 1. Dipartimento di Informatica, Università di Pisa, Largo B. Pontecorvo 3, 56127 Pisa, Italy;2. Dipartimento di Informatica e Comunicazione, Università dell’Insubria, Via Mazzini 5, 21100 Varese, Italy;1. Institute of Mathematics of the Romanian Academy, Bucharest, Romania;2. University of Seville, Spain;3. University of Bucharest, Romania |
| |
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. |
| |
Keywords: | |
本文献已被 ScienceDirect 等数据库收录! |
|