Rance Cleaveland and James Riely. Testing-based abstractions for value-passing systems. In International Conference on Concurrency Theory, pages 417--432, 1994. Home/Search Document Details and Download
Context Related Articles Check |
This paper is cited by the following papers:
Mechanical Abstraction of CSPz Processes - Mota, Borba, Sampaio (2002) (1 citation) (Correct)
Symbolic Techniques for Value-passing Calculi - Rathke (1997) (9 citations) (Correct)
Infinite State Model Checking using Partial Evaluation and.. - Leuschel (Correct)
State Space Reduction by Non-standard Semantics for.. - De Francesco.. (1998) (Correct)
A Non Standard-Semantics for Generating Reduced.. - De Francesco, Santone, .. (1996) (Correct)
Data Abstraction for CSP-OZ - Wehrheim (1999) (3 citations) (Correct)
Compositional Minimisation of Finite State Systems Using.. - Graf, Steffen, Lüttgen (1995) (8 citations) (Correct)
Unique Fixpoint Induction for Message-Passing Process Calculi - Hennessy, Lin (1997) (2 citations) (Correct)
Compositional Minimisation of Finite State Systems.. - Graf, Steffen.. (1996) (8 citations) (Correct)
An Abstraction-Based Analysis of Rule Systems for Active.. - Tarek Ghazi (Correct)
Finite Model Checking and Beyond - Steffen (1994) (1 citation) (Correct)
Compositional Minimisation of Finite State Systems Using.. - Graf, Steffen, Lüttgern (1996) (8 citations) (Correct)
Formalisation and verification of the Chilean electronic.. - Barros, Madelaine (2004) (Correct)
Parameterized Models for Distributed Java Objects - Tomas Barros Rabea (Correct)
The Concurrency Factory - Practical Tools for.. - Cleaveland, Gada, .. (1994) (12 citations) Self-citation (Cleaveland) (Correct)
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