Occam
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.
Into the Wibble: Occam Tutorial
Introduction to programming occam, for those who know another language.
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…
ProCoS Archive
Provably Correct Systems projects, ESPRIT basic research, based on Occam and Transputer paradigm, parts: I 1989-1992, II 1992-1995. History, documents, FTP, mail list, workshops, c…
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.
The Occam Archive
Information on language, available via anonymous FTP with an index; mail list, papers, calls for papers, INMOS technical notes, book list and references, contacts, information on O…
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–15 of 15 results