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] |