Specification and implementation environment for neural networks using communicating sequential processes | IEEE Conference Publication | IEEE Xplore