Modelling and analysing neural networks using a hybrid process algebra
From MaRDI portal
Publication:264526
DOI10.1016/j.tcs.2015.08.019zbMath1336.92005OpenAlexW2220713948MaRDI QIDQ264526
Publication date: 31 March 2016
Published in: Theoretical Computer Science (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1016/j.tcs.2015.08.019
Neural networks for/in biological studies, artificial life and related topics (92B20) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Emergence and refinement
- A semantics for behavior trees using CSP with specification commands
- Structural operational semantics through context-dependent behaviour
- Structural operational semantics for weak bisimulations
- Modal logics for mobile processes
- Modular modelling of signalling pathways and their cross-talk
- SOS formats and meta-theory: 20 years after
- Balancing expressiveness in formal approaches to concurrency
- Modeling spiking neural networks
- Transactions on Computational Systems Biology VI
- Formal methods for computational systems biology. 8th international school on formal methods for the design of computer, communication, and software systems, SFM 2008 Bertinoro, Italy, June 2--7, 2008. Advanced lectures
- Synapses as stochastic concurrent systems
- Compositional semantics of spiking neural P systems
- An algebra of hybrid systems
- Verification-guided modelling of salience and cognitive load
- Process algebraic modelling of attentional capture and human electrophysiology in interactive systems
- Determinacy \(\to\) (observation equivalence \(=\) trace equivalence)
- Higher-level synchronising devices in Meije-SCCS
- Structured operational semantics and bisimulation as a congruence
- Call-by-name, call-by-value and the \(\lambda\)-calculus
- A theory of timed automata
- Maude: specification and programming in rewriting logic
- Specification of real-time and hybrid systems in rewriting logic
- Hybrid process algebra
- On the computational power of circuits of spiking neurons
- Process algebra for hybrid systems
- Spiking neurons and the induction of finite state machines.
- HyTech: A model checker for hybrid systems
- Modular structural operational semantics
- A structural approach to operational semantics
- An operational semantics for timed CSP
- Application of formal methods to biological regulatory networks: extending Thomas' asynchronous logical approach with temporal logic
- Bio-PEPA: A framework for the modelling and analysis of biological systems
- Syntax and consistent equation semantics of hybrid Chi
- Notions of bisimulation and congruence formats for SOS with data
- AN OVERVIEW ON OPERATIONAL SEMANTICS IN MEMBRANE COMPUTING
- Understanding Programming Language Concepts Via Operational Semantics
- CSP with Hierarchical State
- Process algebra for synchronous communication
- Bisimulation can't be traced
- Refinement Calculus
- Abstract State Machines
- A π-calculus with explicit substitutions: The late semantics
- Learning representations by back-propagating errors
- Theoretical Aspects of Computing – ICTAC 2005
- Polychronization: Computation with Spikes
- Hybrid Systems: Computation and Control
- Lectures on Concurrency and Petri Nets
- A logical calculus of the ideas immanent in nervous activity
- Transactions on Computational Systems Biology III
