Occam-pi and KRoC: Blending CSP and the Pi-calculus
Edit Page
Report
Scan day: 07 February 2014 UTC
47
Virus safety - good
Description: Resources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL]
occam-pi and KRoC: blending CSP and the pi-calculus occam-pi: blending the best of CSP and the pi-calculus Occam-pi and KRoC are the result of on-going research extending the (CSP) ideas of occam by judicious inclusion of the mobility features of the pi-calculus. In the interests of proveability, we have been careful to preserve the distinction between the original simple static point-to-point synchronised communication of occam and the dynamic asynchronous multiplexed communication of the pi-calculus; in this we have been prepared to sacrifice the elegant sparsity of the pi-calculus. We conjecture that the extra complexity (and discipline) introduced will make the task of proving concurrent and distributed programs easier.
Size: 733 chars
Contact Information
Email:Send Message
Phone&Fax: —
Address: —
Extended: —
WEBSITE Info
| Page title: | occam-pi and KRoC: blending CSP and the pi-calculus |
| Keywords: | occam, pi-calculus, occam-pi, kroc |
| Description: | occam-pi and KRoC (the Kent Retargetable occam(-pi) Compiler) |
| IP-address: | 129.12.4.58 |