Sat Aug 9 09:18:21 BST 2008


see http://en.wikipedia.org/wiki/Occam_%28programming_language%29

- Communication between processes work through named channels.  One
  process outputs data to a channel via ! while another one inputs
  data with ?.  Input and output will block until the other end is
  ready to accept or offer data.

- SEQ, PAR and ALT for sequential parallel and conditional execution.

The difference between Concurrent ML (on which PLT Scheme's
concurrency is based) and Occam, is the way in which channels are
treated.  In CML they are first class (dynamic), while in Occam they
are static entities.