Paper Info
Title
Compositional semantics of spiking neural P systems
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.
Year
DOI
Venue
2010
10.1016/j.jlap.2010.03.011
The Journal of Logic and Algebraic Programming
Keywords
Field
DocType
Spiking neural P systems,Structural Operational Semantics,Behavioural equivalence,Congruence
Principle of compositionality,Transition system,Discrete mathematics,Operational semantics,Denotational semantics,Theoretical computer science,Process calculus,Congruence relation,Congruence (geometry),Semantics,Mathematics
Journal
Volume
Issue
ISSN
79
6
1567-8326
Citations 
PageRank 
References 
6
0.45
15
Authors
4
Name
Order
Citations
PageRank
Roberto Barbuti186681.03
Andrea Maggiolo-Schettini278989.11
Paolo Milazzo332821.14
Simone Tini430633.19