Occam (Languages)

Occam Sites:

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