occam-π

From Wikipedia, the free encyclopedia
Jump to: navigation, search

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 into occam, especially concepts involving mobile agents (processes) and data. The language contains several extensions to occam 2.1, including:

See also[edit]

References[edit]

  1. ^ Fred Barnes and Peter Welch (2006-01-14). "occam-pi: blending the best of CSP and the pi-calculus". Retrieved 2006-11-24. 

External links[edit]