Compositional semantics of spiking neural P systems

DOI10.1016/j.jlap.2010.03.011zbMath1208.68123OpenAlexW2005316271MaRDI QIDQ987958

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

Publication date: 24 August 2010

Published in: The Journal of Logic and Algebraic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.jlap.2010.03.011

zbMATH Keywords

structural operational semanticscongruencebehavioural equivalencespiking neural P systems

Mathematics Subject Classification ID

Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)

Related Items

Modelling and analysing neural networks using a hybrid process algebra ⋮ Systolic Automata and P Systems ⋮ A model learning based testing approach for spiking neural P systems ⋮ Compositional semantics and behavioural equivalences for reaction systems with restriction ⋮ Minimal probabilistic P systems for modelling ecological systems ⋮ Foundational aspects of multiscale modeling of biological systems with process algebras ⋮ Simulation of spatial P system models ⋮ Sequential spiking neural P systems with local scheduled synapses without delay

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The power of communication: P systems with symport/antiport
• Using well-structured transition systems to decide divergence for catalytic P systems
• A rewriting logic framework for operational semantics of membrane systems
• Compositional semantics and behavioral equivalences for P systems
• Spiking neural P systems with extended rules: universality and languages
• Asynchronous spiking neural P systems
• Higher-level synchronising devices in Meije-SCCS
• Tissue P systems.
• Membrane systems with promoters/inhibitors
• A guide to membrane computing.
• Membrane computing. An introduction.
• A structural approach to operational semantics
• Formal verification of parallel programs
• Causality in Membrane Systems
• A Formal Framework for Static (Tissue) P Systems

This page was built for publication: Compositional semantics of spiking neural P systems