As a guest user you are not logged in or recognized by your IP address. You have
access to the Front Matter, Abstracts, Author Index, Subject Index and the full
text of Open Access publications.
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.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.
This website uses cookies
We use cookies to provide you with the best possible experience. They also allow us to analyze user behavior in order to constantly improve the website for you. Info about the privacy policy of IOS Press.