The concurrency workbench: A semantics based tool for the verification of concurrent systems (1991)

by Rance Cleaveland , Joachim Parrow , Bernhard Steffen
Venue:In Proceedings of the Workshop on Automatic Verification Methods for Finite State Machines
Citations:102 - 3 self

Document Versions

The concurrency workbench: A semantics based tool for the verification of concurrent systems –Rance Cleaveland, Joachim Parrow, Bernhard Steffen — 1991 — In Proceedings of the Workshop on Automatic Verification Methods for Finite State Machines
The Concurrency Workbench: A Semantics Based Tool for the Verification of . . . –Rance Cleaveland, D. J. Local, Model Checking, Modal Mucalculus, In Proceedings, Tapsoft Lecture, Notes Computer Science — 1992
The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems –Rance Cleaveland, Joachim Parrow, Bernhard Steffen — 1994 — ACM Transactions on Programming Languages and Systems