TY - JOUR T1 - The concurrency workbench: a semantics-based tool for the verification of concurrent systems JF - ACM Transactions on Programming Languages and Systems Y1 - 1993 A1 - Cleaveland, Rance A1 - Parrow,Joachim A1 - Steffen,Bernhard VL - 15 SN - 01640925 UR - http://dl.acm.org/citation.cfm?id=151648 M3 - 10.1145/151646.151648 ER -