Modelling and analysing neural networks using a hybrid process algebra

DOI10.1016/j.tcs.2015.08.019zbMath1336.92005MaRDI QIDQ264526

Robert J. Colvin

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

zbMATH Keywords

hybrid systems; neural networks; process algebra

Mathematics Subject Classification ID

92B20: Neural networks for/in biological studies, artificial life and related topics

68Q85: Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.)

Uses Software

• Bio-PEPA
• PHAVer
• HyTech
• Maude
• Z
• PEPA