Revision as of 14:27, 16 November 2014 edit JamieHanlon (talk \| contribs) 122 edits m →See also: Added XC and languages list, and removed Upaal model checker. ← Previous edit		Revision as of 15:52, 12 January 2015 edit undo A bit iffy (talk \| contribs) Autopatrolled, Extended confirmed users, Pending changes reviewers, Rollbackers 50,712 edits m →occam-π: unnecessary capitalisation Next edit →
Line 90: ===occam-π=== '''[[occam-π]]'''<ref name="kroc">{{cite web\|url=http://www.cs.kent.ac.uk/projects/ofa/kroc/\|title=occam-pi: blending the best of CSP and the pi-calculus\|author=Fred Barnes and Peter Welch\|date=2006-01-14\|accessdate=2006-11-24}}</ref> is the common name for the occam variant implemented by later versions of [[KRoC]], the Kent Retargetable occam Compiler. The addition of the symbol "[[Pi (letter)\|π]]" (pi) to the occam name is an allusion to the fact that KRoC occam includes several ideas inspired by the [[Pipi-calculus]]. It contains a significant number of extensions to the occam 2.1 compiler, for example: *Nested protocols

Occam (programming language): Difference between revisions