Algebraic Operational Semantics and Occam
Article by Yuri Gurevich, Lawrence S. Moss.
Correctness of Compiling Occam to Transputer Code
Article by Egon Borger, Igor Durdanovic.
Introduction to the Programming Language Occam
By Dan Hyde; Bucknell University, 1995. History, explanations, code samples.
Occam Programming Language
Growing article, with links to many related topics. [Wikipedia]
Occam-pi and KRoC: Blending CSP and the Pi-calculus
Resources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL…
Programming in Occam
By Geraint Jones; Prentice Hall, 1987, ISBN 0137297734; Web edition 2001. Introductory textbook.
Programming in Occam 2
By Geraint Jones, Michael Goldsmith; Prentice Hall, 1988, ISBN 0137303343; Web edition 2001. Introductory textbook.
Transterpreter
Small, portable (strict ANSI C) runtime for occam; extensible, concise, reliable virtual machine to execute Transputer bytecode; even on LEGO Mindstorms. Written in Scheme, rewritt…
WoTUG: occam
Compilers, book references, online copies of manuals, a couple of examples, utilities, and information on Occam.
Showing 20–10 of 10 results