The Concurrency Factory: Related Work

• In terms of related work, the Concurrency Factory can be viewed as a next generation Concurr ency Workbench (CWB), a toolkit for the analysis finite state concurrent systems specified as CCS expressions.

• Another related tool is SPIN, which is an on-the-fly model checker for LTL.