KRoC

The Kent Retargettable Occam Compiler is a multi-platform Occam 2.1 compiler that is designed to allow the Occam programming language to be used on non-Transputer platforms. Extensions from a subset of the Occam 3 specification and from pi calculus have been added over time. As a result, the version of the language supported by the compiler is also sometimes referred to as Occam 2.5 or Occam-pi. (Source: http://freecode.com/)

References in zbMATH (referenced in 4 articles )

Showing results 1 to 4 of 4.
Sorted by year (citations)

  1. Zain-ul-Abdin; Svensson, Bertil: Occam-pi for programming of massively parallel reconfigurable architectures (2012) ioport
  2. Fabiani, Erwan: Experiencing a problem-based learning approach for teaching reconfigurable architecture design (2009) ioport
  3. Welch, Peter H.; Barnes, Frederick R. M.: Communicating mobile processes. Introducing occam-pi. (2005)
  4. Welch, P. H.; Aldous, J. R.; Foster, J.: CSP networking for Java (JCSP.net) (2002)


Further publications can be found at: http://www.cs.kent.ac.uk/projects/ofa/kroc/#pubs