In computer science, occam-π (or occam-pi) is the name of a variant of the programming language occam developed by the Kent Retargetable occam Compiler (KRoC) team at the University of Kent.[1] The name reflects the introduction of elements of π-calculus (pi-calculus) into occam, especially concepts involving mobile agents (processes) and data. The language contains several extensions to occam 2.1, including:
- Nested protocols
- Run-time process creation
- Mobile channels, data, and processes
- Recursion
- Protocol inheritance
- Array constructors
- Extended rendezvous
| Paradigm | Imperative, procedural, concurrent |
|---|---|
| Designed by | Fred Barnes, Peter Welch |
| Developers | occam for all, University of Kent |
| Platform | IA-32, Arduino |
| Influenced by | |
| occam | |
See also
editReferences
edit- ^ Barnes, Fred; Welch, Peter (14 January 2006). "occam-pi: blending the best of CSP and the pi-calculus". Retrieved 24 November 2006.
External links
edit- Official website
- University of Kent Occam-pi project page
- Tock Occam compiler
- Parallel programming users group on Occam-pi
 | This programming-language-related article is a stub. You can help Wikipedia by expanding it. |
 | This computer science article is a stub. You can help Wikipedia by expanding it. |