The concurrency workbench
Subtitle: A semantics based tool for the verification of concurrent systems
By: by Rance Cleaveland, Jonchim Parrow, Bernhard Steffen.
Contributors: Parrow, Joachim.; Steffen, Bernhard.; University of Edinburgh. Laboratory for Foundations of Computer Science.
Series: LFCS report series -- ECS-LFCS-89-83
Publisher: University of Edinburgh, Laboratory for Foundations of Computer Science
Published: 1989
Place of publication: Edinburgh
Language: eng
Number of pages: 24