Internet Parallel Computing Archive

Parallel : Theory : Formal : Csp

[ News | IPCA | Mirrors | Add | Search | Mail | Help | WoTUG ]

• The Deadlock Checker Tool
  Author: Jeremy Martin (j.martin@oxagen.co.uk), Oxagen, Oxford.

• The Design and Construction of Deadlock-Free Concurrent Systems
  PhD Thesis, University of Buckingham, UK, 1996.
  Author: Jeremy Martin (j.martin@oxagen.co.uk), Oxagen, Oxford.

• occam
  The occam language.

• References to "Communicating Sequential Processes" of C.A.R. Hoare
  Last modified 16:09:03, 13 Sep 1996 - 2.4K - text
  

  Author: comp.parallel moderator