| |
| 1994 | ||
|---|---|---|
| 5 | V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland: Priority and Abstraction in Process Algebra. FSTTCS 1994: 217-230 | |
| 1992 | ||
| 4 | Linda Christoff, Ivan Christoff: Reasonong about Safety and Liveness Properties for Probabilistic Processes. FSTTCS 1992: 342-355 | |
| 1991 | ||
| 3 | Linda Christoff, Ivan Christoff: Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. CAV 1991: 310-321 | |
| 1990 | ||
| 2 | Ivan Christoff: Testing Equivalences and Fully Abstract Models for Probabilistic Processes. CONCUR 1990: 126-140 | |
| 1989 | ||
| 1 | Ivan Christoff: A Method for Verification of Trace and Test Equivalence. Automatic Verification Methods for Finite State Systems 1989: 81-88 | |
| 1 | Linda Christoff | [3] [4] [5] |
| 2 | Rance Cleaveland | [5] |
| 3 | V. Natarajan | [5] |