Occam-π
(Redirected from Occam-Pi)
Template:Short description Template:Use dmy dates Template:Lowercase title Script error: No such module "Infobox".Template:Template otherScript error: No such module "Check for unknown parameters". 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
See also
References
External links
- Template:Official website
- University of Kent Occam-pi project page
- Tock Occam compiler
- Template:Usurped
- REDIRECT Template:Prog-lang-stub
Template:R shell Template:Asbox
- ↑ Script error: No such module "citation/CS1".