Sciweavers

JLP
2010
155views more  JLP 2010»
12 years 11 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 pro...
Roberto Barbuti, Andrea Maggiolo-Schettini, Paolo ...