Searching for authors named "Rance Cleaveland" – sorted by Relevance.
59 documents found, showing 1 through 10.
Next 10 →
-
On Automatically Explaining Bisimulation Inequivalence
- … On Automatically Explaining Bisimulation Inequivalence\Lambda Rance Cleaveland…
- Cited by 4 (1 self) – Add To MetaCart
-
Tableau-Based Model Checking in the Propositional Mu-Calculus
- …Tableau-Based Model Checking in the Propositional Mu-Calculus Rance Cleaveland Department…
- Cited by 82 (8 self) – Add To MetaCart
-
An Algebraic Theory of Process Efficiency
- …An Algebraic Theory of Process Efficiency V. Natarajan Rance Cleaveland Department of Computer…
- Cited by 12 (2 self) – Add To MetaCart
-
Divergence and Fair Testing
- …Divergence and Fair Testing V. Natarajan Rance Cleaveland Abstract This paper develops a new…
- Cited by 31 (5 self) – Add To MetaCart
-
Executable Specifications for Real-Time Distributed Systems
- … of Maryland at College Park 4321 Hartwick Road Suite 500 College Park MD 20742-3290 Rance Cleaveland 2…
- Add To MetaCart
-
A Software Architectural Approach to Security By Design
- …A Software Architectural Approach to Security By Design Arnab Ray Rance Cleaveland Fraunhofer USA…
- Add To MetaCart
-
A Theory of Testing for Markovian Processes
- …A Theory of Testing for Markovian Processes Marco Bernardo 1 and Rance Cleaveland 2 1…
- Cited by 10 (4 self) – Add To MetaCart
-
Testing-Based Abstractions for Value-Passing Systems
- …Testing-Based Abstractions for Value-Passing Systems ? Rance Cleaveland ?? and James Riely…
- Cited by 15 (1 self) – Add To MetaCart
-
A Semantic Theory for Heterogeneous System Design
- …A Semantic Theory for Heterogeneous System Design ? Rance Cleaveland 1 and Gerald Luttgen 2 1…
- Cited by 5 (3 self) – Add To MetaCart
-
A Logical Process Calculus
- …://www.elsevier.nl/locate/entcs/volume68.html 18 pages A Logical Process Calculus 1 Rance Cleaveland 2 Department of Computer Science…
- Cited by 5 (1 self) – Add To MetaCart
Showing 1 through 10.
Next 10 →
