Occam-pi and KRoC: Blending CSP and the Pi-calculus
cs.kent.ac.ukResources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL]
Rate This Site
Embed Badge
Place this code on your website to show you're listed here.