The Edinburgh Concurrency Workbench (CWB)

The Edinburgh Concurrency Workbench (CWB) is an automated tool which caters for the manipulation and analysis of concurrent systems. In particular, the CWB allows for various equivalence, preorder and model checking using a variety of different process semantics. With the Workbench it is possible to:

  • define behaviours given either in the syntax of the Temporal CCS (TCCS) or SCCS, and perform various analyses on these behaviours, such as analysing the state space of a given process, or checking various semantic equivalences and preorders;
  • define propositions in a powerful modal logic and to check whether a given process satisfies a specification formulated in this logic;
  • derive automatically logical formulae which distinguish nonequivalent processes; interactively simulate the behaviour of an agent, thus guiding it through its state space in a controlled fashion.

Current Version:   7.0

License Type:   Free licences available for use in research and education

Home Site:

Source Code Availability:


Available Binary Packages:

  • Debian Package: No
  • RedHat RPM Package: No
  • Other Packages: No

Targeted Platforms:

Available in precompiled form for Suns (running Solaris or SunOS4).

Software/Hardware Requirements:

It can in principle be used on any platform for which a Standard ML of New Jersey compiler v 0.93 is available, since you can get the sources from the ftp directory and compile them yourself.
Some Linux users have told author about the successful compilation of the CWB under Linux.

Other Links:

Mailing Lists/USENET News Groups:

Mailing List info at

User Comments:

  • None

See A Screen Shot? (Not Yet)

  SAL Home   |   Parallel Computing   |   Misc

Comments? SAL@KachinaTech.COM
Copyright © 1995-2001 by Herng-Jeng Jou
Copyright © 1997-2001 by Kachina Technologies, Inc.
All rights reserved.