Occam-pi and KRoC: Blending CSP and the Pi-calculus

cs.kent.ac.uk

Resources 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

More in Occam Report

QR Code

Download PNG

Embed Badge

<a href="https://e-sygoing.link/go/5646185" title="Occam-pi and KRoC: Blending CSP and the Pi-calculus"><img src="https://e-sygoing.link/badge.php?lid=5646185" alt="Listed on e-sygoing.link" height="20"></a>

Place this code on your website to show you're listed here.

Occam-pi and KRoC: Blending CSP and the Pi-calculus

Rate This Site

Submit Your Site

Related Links