Programming in occam^®2

This book was published in the Prentice Hall International Series in Computer Science in 1988, and is no longer in print in its physical form. The web edition is mechanically produced from the sources of the paper edition, and retains its page structure. Each chapter is provided as a Portable Document Format (PDF) file, and the texts of the programs in the appendix are also given in plain text.

• Contents
• Preface
• An introduction to occam
• Data
• Assignment and communication
• Processes
• Abbreviation and abstraction
• Local time
• Configuration
• Programming structures
• Handling interrupts
• Formatted input and output
• Parallel matrix multiplication
• Monitoring communication
• Conway's game of Life
• Huffman minimum redundancy coding
• The occam2 notation
• Codes of the programs
  • Packing and unpacking routines (text)
  • Distributed implementation of buffers (text)
  • Process farming (text)
  • Handling interrupts (text)
  • Formatted input and output (text)
  • Parallel matrix multiplier (text)
  • Monitoring communication (text)
  • Conway's game of Life (text)
  • Simple Huffman coder (text)
  • Adaptive Huffman coder (text)
• Bibliography
• Index

• ERRATA (9 February 1990)

A German language edition of this book is available under the title Programmieren in occam 2, translated by Dieter Weiß, published by Carl Hanser Verlag, München and Wien, ISBN 3-446-15818-9, 1990.