About Occam-pi and KRoC: Blending CSP and the Pi-calculus
Occam-pi and KRoC: Blending CSP and the Pi-calculus- Resources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL]
