Web Directory
 

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

  Link Details for: Occam-pi and KRoC: Blending CSP and the Pi-calculus
Link Title: Occam-pi and KRoC: Blending CSP and the Pi-calculus Open in a new window
Link URL: http://www.cs.kent.ac.uk/projects/ofa/kroc/
Link Details: Resources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL]
Category: Top : Computers : Programming : Languages : Occam
Link Type: Lock this listing - So it can't be removedLock this listing - and upgrade it to FeaturedReport this listingAdd a regular link to the same category
ScreenShot:
Occam-pi and KRoC: Blending CSP and the Pi-calculus