Workshop on Translating CSP-Based Languages to Common Programming Languages
Brian Vinter, Dickson Lawrence J., Dibley James · IOS Press eBooks · 2019
Programming in CSP style has traditionally been done in occam, or languages such as CSPMfor more formal verification. Occam has been in a frozen state for almost 30 years, though a runnable toolset is still available on transputer.net, and code can be targeted to Gavin Chase's Transputer Emulator and to the Transterpreter. Getting to a setup where one may compile and run occam programs with the more recent KROC occam-Pi is non-trivial, and getting the compiled occam-Pi code to run on different platforms is even more work.