Compositional semantics of spiking neural P systems

DOI10.1016/J.JLAP.2010.03.011MaRDI QIDQ987958zbMATH OpenOpenAlexFDO

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

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

congruencespiking neural P systemsstructural operational semanticsbehavioural equivalence

Mathematics Subject Classification ID

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

Recommendations

• Spiking neural P systems
• Compositional semantics and behavioral equivalences for P systems
• A semantic investigation of spiking neural P systems
• Spiking neural P systems with rules on synapses
• Spiking Neural P Systems: Some Characterizations

Cites work

• scientific article; zbMATH DE number 1583885 (Why is no real title available?)
• scientific article; zbMATH DE number 5506889 (Why is no real title available?)
• A Formal Framework for Static (Tissue) P Systems
• A guide to membrane computing.
• A rewriting logic framework for operational semantics of membrane systems
• A structural approach to operational semantics
• Asynchronous spiking neural P systems
• Causality in Membrane Systems
• Compositional semantics and behavioral equivalences for P systems
• Formal verification of parallel programs
• Higher-level synchronising devices in Meije-SCCS
• Membrane computing. An introduction.
• Membrane systems with promoters/inhibitors
• Spiking neural P systems
• Spiking neural P systems with extended rules: universality and languages
• Structural operational semantics.
• The power of communication: P systems with symport/antiport
• Tissue P systems.
• Using well-structured transition systems to decide divergence for catalytic P systems

Cited in

(13)

• Spiking neural P systems and their semantics in Haskell
• A process calculus for spiking neural P systems
• Systolic automata and P systems
• Foundational aspects of multiscale modeling of biological systems with process algebras
• A semantic investigation of spiking neural P systems
• Simulation of spatial P system models
• Sequential spiking neural P systems with local scheduled synapses without delay
• Minimal probabilistic P systems for modelling ecological systems
• A basic compositional model for spiking neural networks
• Compositional semantics and behavioural equivalences for reaction systems with restriction
• A model learning based testing approach for spiking neural P systems
• Modelling and analysing neural networks using a hybrid process algebra
• Compositional semantics and behavioral equivalences for P systems

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q987958)