1. Home
  2. Computer
  3. Programmin­g
  4. Occam-pi and KRoC: Blending CSP and the Pi-calculus

Computer · Programmin­g

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

Listed in the directory · updated 20 Jul 2022

Visit website

Find them on

Share

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]

Tags

Obfuscated

Where it sits

Computer Programmin­g

More in Programmin­g

See all →