'''KRoC''' is a suite of software for occam-π development.

  • [http://projects.cs.kent.ac.uk/projects/kroc/trac/ Home page]