Paper Details

Communicating Process Architectures (CPA)
 Title: Deriving Reusable Go Components From Verified CSP Prototypes
 Conference: Communicating Process Architectures 2018
 Authors: James Dibley, Karen Bradshaw
Department of Computer Science, Rhodes University
 Abstract: This paper presents a modelling approach and software tool support for automatically deriving reusable Go components from CSP prototypes that preserves compatibility with existing CSP verification tools. Using the example of a concurrent component that generates prime numbers, the paper demonstrates how to model and verify a parameterised concurrent component in machine-readable CSP, and presents the software tool’s automatically-derived implementation of this model as a reusable Go component. 

BibTeX Entry

Full paper