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