  |
ProCoS Archive - http://vl.fmnet.info/procos/
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, contacts. |
| |
occam (programming language) - Wikipedia - http://en.wikipedia.org/wiki/Occam_%28programming_language%29
Overview article with code examples, version history and examples. |
| |
Transterpreter - http://www.transterpreter.org/
Small, portable (strict ANSI C) runtime for occam; extensible, concise, reliable virtual machine to execute Transputer bytecode; even on LEGO Mindstorms. Written in Scheme, rewritten in C. |
| |
Into the Wibble: Occam Tutorial - http://frmb.org/occtutor.html
Introduction to programming occam, for those who know another language. |
| |
WoTUG: occam - http://www.wotug.org/occam/
Compilers, book references, online copies of manuals, a couple of examples, utilities, and information on Occam. |
| |
The Occam Archive - http://vl.fmnet.info/occam/
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 Occam User Group: OUG. |
| |
Transputers - http://nereida.deioc.ull.es/html/transputer.html
An introduction to occam by Casiano, Occam resources. |
| |
An occam2 To Modula-3 Translator - http://freespace.virgin.net/martin.mamo/dissert.html
Dissertation. |
| |
Introduction to the Programming Language Occam - http://www.eg.bucknell.edu/~cs366/occam.pdf
By Dan Hyde; Bucknell University, 1995. History, explanations, code samples. |
 |
Programming in Occam - http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio1/
By Geraint Jones; Prentice Hall, 1987, ISBN 0137297734; Web edition 2001. Introductory textbook. |
| |
Programming in Occam 2 - http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/publications/book/Pio2/
By Geraint Jones, Michael Goldsmith; Prentice Hall, 1988, ISBN 0137303343; Web edition 2001. Introductory textbook. |
| |
Algebraic Operational Semantics and Occam - http://www.eecs.umich.edu/gasm/papers/occam0.html
Article by Yuri Gurevich, Lawrence S. Moss. |
| |
Correctness of Compiling Occam to Transputer Code - http://www.eecs.umich.edu/gasm/papers/occam2.html
Article by Egon Borger, Igor Durdanovic. |
| |
Hello, World program - http://www2.latech.edu/~acm/helloworld/occam.html
Example simple Occam program. |
| |
Occam-pi and KRoC: Blending CSP and the Pi-calculus - http://www.cs.kent.ac.uk/projects/ofa/kroc/
Resources for occam-pi and KRoC: Kent Retargetable occam(-pi) Compiler: descriptions, news, download, documentation, bugs, coming-soon, publications, links. [Open Source, GPL, LGPL] |