Modeling neural networks using process algebras

Sen Song, Kenneth D. Miller, L. F. Abbott, Competitive Hebbian learning through spike-timing-dependent synaptic plasticity Nature Neuroscience. ,vol. 3, pp. 919- 926 ,(2000) , 10.1038/78829

David E. Rumelhart, Geoffrey E. Hinton, Ronald J. Williams, Learning representations by back-propagating errors Nature. ,vol. 323, pp. 696- 699 ,(1988) , 10.1038/323533A0

André Platzer, Jan-David Quesel, KeYmaera: A Hybrid Theorem Prover for Hybrid Systems (System Description) international joint conference on automated reasoning. pp. 171- 178 ,(2008) , 10.1007/978-3-540-71070-7_15

Rajeev Alur, Radu Grosu, Insup Lee, Oleg Sokolsky, Compositional Refinement for Hierarchical Hybrid Systems acm international conference hybrid systems computation and control. pp. 33- 48 ,(2001) , 10.1007/3-540-45351-2_7

Christopher M. Bishop, Neural networks for pattern recognition ,(1995)

Patrícia Duarte de Lima Machado, Silvio Lemos Meira, On the Use of Formal Specifications in the Design and Simulation of Artificial Neural Networks ZUM '95 Proceedings of the 9th International Conference of Z Usres on The Z Formal Specification Notation. pp. 63- 82 ,(1995) , 10.1007/3-540-60271-2_113

Laurence Calzone, Nathalie Chabrier-Rivier, François Fages, Sylvain Soliman, Machine learning biochemical networks from temporal logic properties Transactions on Computational Systems Biology VI. ,vol. 6, pp. 68- 94 ,(2006) , 10.1007/11880646_4

J.A. Bergstra, J.W. Klop, Process algebra for synchronous communication Information & Computation. ,vol. 60, pp. 109- 137 ,(1984) , 10.1016/S0019-9958(84)80025-X

Robert J. Colvin, Ian J. Hayes, A semantics for Behavior Trees using CSP with specification commands Science of Computer Programming. ,vol. 76, pp. 891- 914 ,(2011) , 10.1016/J.SCICO.2010.11.007

Federica Ciocchetta, Jane Hillston, Bio-PEPA: A framework for the modelling and analysis of biological systems Theoretical Computer Science. ,vol. 410, pp. 3065- 3084 ,(2009) , 10.1016/J.TCS.2009.02.037