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/)

Keywords for this software

Anything in here will be replaced on browsers that support the canvas element


References in zbMATH (referenced in 5 articles )

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

  1. Pedersen, Jan B.; Welch, Peter H.: The symbiosis of concurrency and verification: teaching and case studies (2018)
  2. Zain-ul-Abdin; Svensson, Bertil: Occam-pi for programming of massively parallel reconfigurable architectures (2012) ioport
  3. Fabiani, Erwan: Experiencing a problem-based learning approach for teaching reconfigurable architecture design (2009) ioport
  4. Welch, Peter H.; Barnes, Frederick R. M.: Communicating mobile processes. Introducing occam-pi. (2005)
  5. 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