A Theory of Communicating Sequential Processes — A Theory of Communicating Sequential Processes — the latest coverage, the community and the facts.