Edinburgh Concurrency Workbench Documentation

On-line documentation


(Warning: these are somewhat out of date and it's possible you may find bugs, e.g. places where the syntax in the examples is slightly wrong for the current CWB. If you do, please send me email. I've been trying to find time to update and expand the range of examples for ages. Anyone feel like helping?)

Example directory

CWB user manual

The user manual includes the information that's available on-line (yes, generated from a common source) plus a couple of example sessions and brief explanations of how the CWB's environments work and of the semantics of the languages it understands. This is the best document to reference if you want a general reference for the CWB in a paper or whatever: here's a sample minimalist BibTeX entry.

Back to CWB home page