|
СТ |
Type Theory and Concurrency |
1988 |
Cleaveland R., Panangaden P. |
|
|
|
Intern. J. Parallel Programming |
26.05.1995 |
|
СТ |
Computing Behavioral Relations, Logically |
1991 |
Cleaveland R., Steffen B. |
|
|
|
Lecture Notes in Computer Science |
11.09.1991 |
|
СТ |
Analyzing Concurrent Systems Using the Concurrency Workbench |
1993 |
Cleaveland R. |
|
|
|
Lecture Notes in Computer Science |
05.08.1993 |
|
СТ |
Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes |
1994 |
Yuen S., Cleaveland R., Dayar Z. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
Priority and Abstraction in Process Algebra |
1994 |
Natarajan V., Christoff I., Christoff L., Cleaveland R. |
|
|
|
Lecture Notes in Computer Science |
11.01.1995 |
|
СТ |
Testing-Based Abstractions for Value-Passing Systems |
1994 |
Cleaveland R., Riely J. |
|
|
|
Lecture Notes in Computer Science |
26.08.1994 |
|
СТ |
A Front-End Generator for Verification Tools |
1995 |
Cleaveland R., Madelaine E., Sims S. |
|
|
|
Lecture Notes in Computer Science |
11.01.1996 |
|
СТ |
Optimality in Abstractions of Model Checking |
1995 |
Cleaveland R., Iyer P., Yankelevich D. |
Lecture Notes in Computer Science |
|
|
Static Analysis |
16.11.1995 |
|
СТ |
Divergence and Fair Testing |
1995 |
Natarajan V., Cleaveland R. |
Lecture Notes in Computer Science |
|
|
Automata, Languages and Programming |
10.09.1995 |
|
СТ |
Priorities for Modeling and Verifying Distributed Systems |
1996 |
Cleaveland R., Luttgen G., Natarajan V., Sims S. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
Efficient Local Model-Checking for Fragments of the Modal -Calculus |
1996 |
Bhat G., Cleaveland R. |
|
|
|
Lecture Notes in Computer Science |
24.04.1996 |
|
СТ |
Probabilistic Resource Failure in Real-Time Process Algebra |
1998 |
Philippou A., Cleaveland R., Lee I., Smolka S., Sokolovsky O. |
|
|
|
Lecture Notes in Computer Science |
11.09.1998 |
|
СТ |
Probabilistic Temporal Logics via the Modal Mu-Calculus |
1999 |
Narasimha M., Cleaveland R., Iyer P. |
|
|
|
Lecture Notes in Computer Science |
02.04.1999 |
|
СТ |
GCCS: A Graphical Coordination Language for System Specification |
2000 |
Cleaveland R., Du X., Smolka S. A. |
|
|
|
Lecture Notes in Computer Science |
05.10.2000 |
|
СТ |
The Integrated CWS-NC/PIOATool for Functional Verification and Performance Analysis of Concurrent Systems |
2003 |
Zhang D., Cleaveland R., Stark E. W. |
|
|
|
Lecture Notes in Computer Science |
17.04.2003 |
