R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993. Home/Search Document Details and Download
Summary Related Articles Check |
This paper is cited in the following contexts:
First 50 documents Next 50
The Efficient Symbolic Tools Package - Robert Meolic Tatjana (2000) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993.
The Local Area π-Calculus - Chothia (2003) (Correct)
No context found.
Rance Cleaveland, Joachim Parrow, and Bernhard Ste en. The concurrency workbench: A semantics-based tool for the veri cation of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36-72, January 1993.
Specification and Verification of Synchronizing - Concurrent Objects Gabriel (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Ste#en. The Concurrency Workbench: a semantics-based tool for the verification of concurrent systems. In ACM TOPLAS, vol. 15(1), ACM Press, pp. 36-72, 1993.
An Algebraic Semantics of Prolog Control - Ross (1992) (1 citation) (Correct)
No context found.
Cleaveland, R., J. Parrow and B. Ste en (1989). The Concurrency Workbench: A Semantics Based Tool for the Veri cation of Concurrent Systems. Technical Report ECS-LFCS-89-83. University of Edinburgh.
Communicating Concurrent Objects in HiddenCCS - Ciobanu, Lucanu (2004) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Ste#en. The Concurrency Workbench: a semantics-based tool for the verification of concurrent systems. In ACM Transactions on Programming Languages and Systems, vol.15(1), ACM Press, pp. 36-72, 1993.
Efficiently Modelling Resource in a Process Algebra - Tofts (2003) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Ste#en. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1), 1993.
An Implementable Formal Language for Hard Real-Time Systems - Bradley (1995) (Correct)
No context found.
R Cleaveland, J Parrow, and B Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993.
Formal Methods and Tool Support for Real-Time - Steven Bradley Dept (Correct)
No context found.
R Cleaveland, J Parrow, and B Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993.
A Note on Scope and Infinite Behaviour in CCS-like Calculi - Giambiagi, Schneider.. (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, 1993.
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993.
Using Model Checking to Detect Deadlocks in Distributed Object.. - Kaveh (2000) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A Semantics Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, 1993.
On the Expressiveness of CCS-like Calculi - Giambiagi, Schneider, Valencia (2004) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, 1993.
Flow Analysis for Verifying Properties of Concurrent .. - Dwyer, Clarke.. (2004) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993.
Fast Graph Generation for Synchronous Processes - Tofts (2002) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Ste#en. The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems. ACM Transactions on Programming Languages and Systems, 15(1), 1993.
Proving Safety Properties of the Steam Boiler - Formal Methods.. - Leeb, Lynch (Correct)
No context found.
Cleaveland, R.; Parrow, J.; Steffen, B.: The concurrency workbench: A semantics-based tool for verification of concurrent systems. ACM Trans. on Prog. Lang. and Sys., 15(1):36-72, Jan. 1993
Studies in Computer Aided Verification of Protocols - Griffioen (2000) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 1(15):36--72, 1993.
Formal Methods for Industrial Applications: A Case Study - Gunter Leeb Leeb (Correct)
No context found.
Cleaveland, R.; Parrow, J.; Steffen, B.: The concurrency workbench: A semantics-based tool for verification of concurrent systems. ACM Trans. on Prog. Lang. and Sys., 15(1):36-72, Jan. 1993
Software Model Checking: The VeriSoft Approach - Patrice Godefroid Bell (2003) (2 citations) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The concurrency workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 1(15):36--72, 1993.
Fair Bisimulation - Thomas Henzinger Sriram (2000) (5 citations) (Correct)
No context found.
R.J. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: a semantics-based tool for the verification of finite-state systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, 1993.
On the Expressiveness of Infinite Behavior and Name.. - Giambiagi.. (2004) (1 citation) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, 1993.
On the Expressiveness of Infinite Behavior and Name.. - Giambiagi.. (2004) (1 citation) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench: A semantics based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, 1993.
Validation, Verification and Implementation of.. - Bradley.. (1995) (Correct)
No context found.
R Cleaveland, J Parrow, and B Steffen. The concurrency workbench: A semantics-based tool for the verification of concurrent systems. ACM Transactions on Programming Languages and Systems, 15(1):36--72, January 1993.
A Run-time Environment for a Validation Language - Visser (1993) (1 citation) (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Steffen. The Concurrency Workbench : A Semantics Based Tool for the Verification of Concurrent Systems. Research report, University of Edinburgh, February 1992.
Fluent Model Checking for Event-based Systems - Giannakopoulou, Magee (2003) (1 citation) (Correct)
No context found.
R. Cleaveland, J. Parrow and B. Steffen, The Concurrency Workbench: A Semantics-Based Tool for the Verification of Concurrent Systems, ACM Transactions on Programming Languages and Systems, Vol. 15, No. 1, pp. 36-72, 93b.
Fair Equivalence Relations - Orna Kupferman And (Correct)
No context found.
R. Cleaveland, J. Parrow, and B. Ste en. The concurrency workbench: A semantics-based tool for the veri cation of concurrent systems. ACM Trans. on Programming Languages and Systems, 15:36-72, 1993.
First 50 documents Next 50
Online articles have much greater impact More about CiteSeer.IST Add search form to your site Submit documents Feedback
CiteSeer.IST - Copyright Penn State and NEC