Edinburgh Concurrency Workbench 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?)
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