occam-π
From Wikipedia, the free encyclopedia
(Redirected from Occam-pi)
In computer science, occam-π (or occam-pi) is the name of a variant of the occam programming language developed by the Kent Retargetable occam Compiler (KRoC) team at the University of Kent.[1] The name reflects the introduction of elements of the π-calculus into occam, particularly concepts involving mobile processes and data. The language contains a significant number of extensions to occam 2.1, including:
- Nested protocols
- Run-time process creation
- Mobile channels, data, and processes
- Recursion
- Protocol inheritance
- Array constructors
- Extended rendezvous
[edit] See also
[edit] References
- ^ Fred Barnes and Peter Welch (2006-01-14). "occam-pi: blending the best of CSP and the pi-calculus". http://www.cs.kent.ac.uk/projects/ofa/kroc/. Retrieved 2006-11-24.
[edit] External links
 |
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. |
