occam-π
{{Short description|Variant of the programming language occam}}
{{Use dmy dates|date=April 2022}}
{{lowercase title|occam-π}}
{{Infobox programming language
| name = occam-π
| logo =
| logo caption =
| screenshot =
| screenshot caption =
| paradigm = Imperative, procedural, concurrent
| family =
| designers = Fred Barnes, Peter Welch
| developers = occam for all, University of Kent
| released =
| latest release version =
| latest release date =
| latest preview version =
| latest preview date =
| typing =
| scope =
| programming language =
| operating system =
| license =
| file ext =
| file format =
| website =
| implementations =
| dialects =
| influenced by = occam
| influenced =
}}
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.{{cite web|url=http://www.cs.kent.ac.uk/projects/ofa/kroc/|title=occam-pi: blending the best of CSP and the pi-calculus|last1=Barnes|first1=Fred|last2=Welch|first2=Peter|date=2006-01-14|access-date=2006-11-24}} 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
See also
References
{{Reflist}}
External links
- {{Official website|https://web.archive.org/web/20190214193147/http://pop-users.org:80/occam-pi/}}
- [https://www.cs.kent.ac.uk/projects/ofa/kroc/ University of Kent Occam-pi project page]
- [http://projects.cs.kent.ac.uk/projects/tock/trac/ Tock Occam compiler]
- {{usurped|1=[https://web.archive.org/web/20131116034303/http://pop-users.org/occam-pi/ Parallel programming users group on Occam-pi]}}
{{DEFAULTSORT:Occam-pi}}
Category:Concurrent programming languages
{{Compu-lang-stub}}
{{comp-sci-stub}}