 |
 |
 |
 |
 |
 |
|
|
 |
|
|
| |
|
|
| | | | | Show pages from United States Show all pages | |
|
 |  | Algebraic Operational Semantics and Occam
- http://www.eecs.umich.edu/gasm/papers/occam0.html
- Article by Yuri Gurevich, Lawrence S. Moss. | |
 |  | An occam2 To Modula-3 Translator
- http://freespace.virgin.net/martin.mamo/dissert.html
- Dissertation. | |
 |  | 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. | |
 |  | Into the Wibble: Occam Tutorial
- http://frmb.org/occtutor.html
- Introduction to programming occam, for those who know another language. | |
 |  | Introduction to the Programming Language Occam
- http://www.eg.bucknell.edu/~cs366/occam.pdf
- By Dan Hyde; Bucknell University, 1995. History, explanations, code samples. | |
 |  | 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] | |
 |  | 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. | |
 |  | 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. | |
 |  | 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.
|
|
This site is presented in modified Open Directory form
| |
| |
|
|
|
|
|
|
|
|
| | | | |
|