Analysing a Library of Concurrency Primitives using CSP
This page contains links to material related to my paper Analysing a Library of Concurrency Primitives using CSP.The Scala source code for the library is available here.
The CSP models are available here.
The companion paper Synchronisation: Specification and Testing can be found here.
The extended version can be found here.