Algebraic Operational Semantics and Occam
Article by Yuri Gurevich and Lawrence S. Moss.
url: www.eecs.umich.edu/gasm/papers/occam0.html
Correctness of compiling Occam to Transputer code
Article by Egon Borger and Igor Durdanovic.
url: www.eecs.umich.edu/gasm/papers/occam2.html
Fred's Page: Occam/CSP
Descriptions, tutorial, programs, screenshots, links.
url: frmb.home.cern.ch/frmb/occam.html
Hello, World program
Example simple Occam program.
url: www2.latech.edu/~acm/helloworld/occam.html
Introduction to the Programming Language Occam
By Dan Hyde.
url: www.eg.bucknell.edu/~cs366/occam.html
OCCAM and Real-time Systems
Summary of Occam features, example, Occam Vs Ada.
url: pbl.cc.gatech.edu/embed/32
The Occam archive
Archive of occam mailing list, papers, relevant bibliographies and book references, calls for papers, contacts, and INMOS technical notes.
url: www.afm.sbu.ac.uk/occam/
An occam2 To Modula-3 Translator
Dissertation.
url: freespace.virgin.net/martin.mamo/dissert.html
Programming in Occam
Web edition of textbook on the occam programming language by Geraint Jones.
url: web.comlab.ox.ac.uk/oucl/work/geraint.jones/public...
Programming in occam2
Web edition of textbook on the occam2 programming language by Geraint Jones.
url: web.comlab.ox.ac.uk/oucl/work/geraint.jones/public...
Transputers
An introduction to occam by Casiano, Occam resources.
url: nereida.deioc.ull.es/html/transputer.html
WoTUG: occam
Compilers, book references, online copies of manuals, a couple of examples, utilities, and information on Occam.
url: www.wotug.org/occam/
