The Concurrency Workbench: a semantics-based tool for the verification of concurrent systems (1993)

by R Cleaveland, J Parrow, B Steffen
Venue:In ACM TOPLAS