Compositional semantics of spiking neural P systems
From MaRDI portal
Publication:987958
DOI10.1016/J.JLAP.2010.03.011zbMATH Open1208.68123OpenAlexW2005316271MaRDI QIDQ987958FDOQ987958
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
Modes of computation (nondeterministic, parallel, interactive, probabilistic, etc.) (68Q10) Semantics in the theory of computing (68Q55)
Cites Work
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Membrane computing. An introduction.
- Asynchronous spiking neural P systems
- Higher-level synchronising devices in Meije-SCCS
- Tissue P systems.
- A structural approach to operational semantics
- Structural operational semantics.
- The power of communication: P systems with symport/antiport
- Compositional semantics and behavioral equivalences for P systems
- Formal verification of parallel programs
- Spiking neural P systems with extended rules: universality and languages
- A guide to membrane computing.
- Causality in Membrane Systems
- A Formal Framework for Static (Tissue) P Systems
- Using well-structured transition systems to decide divergence for catalytic P systems
- A rewriting logic framework for operational semantics of membrane systems
- Membrane systems with promoters/inhibitors
Cited In (8)
- Compositional semantics and behavioural equivalences for reaction systems with restriction
- Modelling and analysing neural networks using a hybrid process algebra
- Sequential spiking neural P systems with local scheduled synapses without delay
- Foundational aspects of multiscale modeling of biological systems with process algebras
- Systolic Automata and P Systems
- Simulation of spatial P system models
- Minimal probabilistic P systems for modelling ecological systems
- A model learning based testing approach for spiking neural 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)
