Rance Cleaveland;Bernhard Steffen
-;-
The concurrency workbench: a semantics-based tool for the verification of concurrent systems
ACM Transactions on Programming Languages and Systems (TOPLAS)