About occam-π

The occam-π programming language aims to provide world-class facilities for concurrent software development, and is being designed and implemented by the University of Kent Computer Science department's Systems Research Group.

Resources

The occam-π pages at the University of Kent describe KRoC and related publications. To install KRoC, visit the KRoC project page.

The Systems Research Group Wiki contains various information useful for occam-π programmers, including a language reference, a style guide and the OccamDoc manual.

WoTUG is a forum for users of the CSP programming model, and organises the Communicating Process Architectures conference and other occam-π-related activities.

The occam-pi standard library documentation is an online reference to the libraries that come with KRoC and the Transterpreter, generated automatically from the source code.

Implementations

The Kent Retargetable occam Compiler (KRoC) is an open-source occam-π environment based on the original INMOS occam compiler, and generates native binaries for IA32-based machines running Linux or FreeBSD.

The Transterpreter is a highly-portable virtual machine for occam-π programs. Binaries are provided for IA32 Windows and Linux, PowerPC MacOS X, SPARC Solaris, and the Lego Mindstorms; the source can be compiled on most platforms.

History

The occam 2.1 language that occam-π is based on was originally developed by INMOS for the transputer concurrent microprocessor system, and is defined in the occam 2.1 reference manual. The extensions that have been implemented in occam-π are described in Fred Barnes' Extensions to the occam compiler.

Proposed extensions

A list of proposed, accepted and rejected extensions to the occam-π language can be found on the occam enhancement proposals page.

Mailing list archives

Some mailing lists related to occam-π are archived here: