The NCSU Concurrency Workbench
No abstract available.
Related papers
- The Concurrency Workbench with Priorities CAV 1991
- The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems TOPLAS 1993
- A Modeller's Workbench: Experiments in Object-Oriented Simulation ECOOP 1987
- The Mobility Workbench - A Tool for the pi-Calculus CAV 1994
- COPE - A Workbench for the Coupled Evolution of Metamodels and Models SLE 2010
- The State of the Art in Language Workbenches - Conclusions from the Language Workbench Challenge SLE 2013
- On Weak Modal Compatibility, Refinement, and the MIO Workbench TACAS 2010
- The ASM Workbench - A Tool Environment for Computer-Aided Analysis and Validation of Abstract State Machine Models Tool Demonstration TACAS 2001