Searching for authors named "Rance Cleaveland" – sorted by Relevance.
-
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

