Searching for "The Concurrency Workbench." – sorted by Relevance.
225 documents found, showing 1 through 10.
Next 10 →
-
The NCSU Concurrency Workbench
- …The NCSU Concurrency Workbench ? Rance Cleaveland Steve Sims Department of Computer Science North…
- Cited by 135 (23 self) – Add To MetaCart
-
The Edinburgh Concurrency Workbench (Version 7.1)
- …The Edinburgh Concurrency Workbench (Version 7.1) Original by Faron Moller, updated since CWB v7…
- Cited by 27 (3 self) – Add To MetaCart
-
and The Concurrency Workbench of the New Century from Stony
- … and The Concurrency Workbench of the New Century from Stony Brook University. 1 Thanks I wish to thank my parents…
- Add To MetaCart
-
The concurrency workbench: A semantics based tool for the verification of concurrent systems
- … The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems…
- Cited by 91 (3 self) – Add To MetaCart
-
Modelling and Verification of Delay-Insensitive Circuits Using CCS and the Concurrency Workbench
- …Modelling and Verification of Delay-Insensitive Circuits using CCS and the Concurrency Workbench…
- Cited by 1 (0 self) – Add To MetaCart
-
The Concurrency Workbench of North Carolina, Version 1.11 - User's Manual
- …The Concurrency Workbench of North Carolina Version 1.11 May, 1998 User's Manual Rance Cleaveland…
- Cited by 1 (0 self) – Add To MetaCart
-
The Edinburgh Concurrency Workbench user manual (Version 7.1)
- …The Edinburgh Concurrency Workbench user manual (Version 7.1) Original by Faron Moller, updated…
- Add To MetaCart
-
The Concurrency Workbench of the New Century, Version 1.2 - User's Manual
- …The Concurrency Workbench of the New Century Version 1.2 July 6, 2000 User's Manual Rance…
- Cited by 7 (0 self) – Add To MetaCart
-
TRIM: A Tool for Triggered Message Sequence Charts?
- … refinementordering. This paper shows how the Concurrency Workbench of the New Century may be adapted to check…
- Add To MetaCart
-
Functional programming languages for verification tools: experiences with ML and Haskell
- … and the Edinburgh Concurrency Workbench (CWB) in ML. We discuss not only technical language features but also…
- Cited by 1 (0 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
