NOTES ON COMMUNICATING SEQUENTIAL PROCESSES
These notes present a coherent and comprehensive introduction to the theory and applications of Communication Sequential Processes. Most of the illustrative examples have speared earlier in PRG-22. The theory descried in PRG-16 has been taken as the basis of a number of algebraic laws, which can be used for proofs of equivalence and can justify correctness-preserving transformations. A complete method for specifying processes and proving their correctness has been taken over from PRG-20 and PRG-23. Many of the concepts have been implemented in LISPKIT, as described in PRG-32.