Neha Patil (Editor)

Occam π

Updated on
Edit
Like
Comment
Share on FacebookTweet on TwitterShare on LinkedInShare on Reddit

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. 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:

  • Nested protocols
  • Run-time process creation
  • Mobile channels, data, and processes
  • Recursion
  • Protocol inheritance
  • Array constructors
  • Extended rendezvous

    • References

    Occam-π Wikipedia
    (Text) CC BY-SA