Documents

WoTUG has online documentation covering a number of subjects:

• Specifications, mostly of programming languages
• Books and other information..

Specifications

Specifications are available for:

• The occam 2.1 language in the occam 2.1 Reference Manual [PDF, PostScript] written and kindly made available by SGS-Thomson Microelectronics, Bristol.

• The occam 2.1 update document, that describes the changes between occam 2 and occam 2.1. This is INMOS internal technical document SW-0429-8.

• A specification of this language, the occam 3 reference manual (March 31 1992 draft) [PDF, PostScript], written by Geoff Barrett and donated by SGS-Thomson Microelectronics, Bristol

• The occam language is supplemented by standard libraries, implementing text I/O and advanced mathematics. Documentation for the occam2 libraries is available in the form of Unix man pages and text files.

There are more details about the occam specifications available.

Books

The following books are currently available here:

• The Design and Construction of Deadlock-Free Concurrent Systems (PhD thesis)

• Networks, Routers and Transputers