| |
| 1994 | ||
|---|---|---|
| 3 | V. Natarajan, Ivan Christoff, Linda Christoff, Rance Cleaveland: Priority and Abstraction in Process Algebra. FSTTCS 1994: 217-230 | |
| 1992 | ||
| 2 | Linda Christoff, Ivan Christoff: Reasonong about Safety and Liveness Properties for Probabilistic Processes. FSTTCS 1992: 342-355 | |
| 1991 | ||
| 1 | Linda Christoff, Ivan Christoff: Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. CAV 1991: 310-321 | |
| 1 | Ivan Christoff | [1] [2] [3] |
| 2 | Rance Cleaveland | [3] |
| 3 | V. Natarajan | [3] |