Ivan Christoff

	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

Coauthor Index

1	Linda Christoff	[3] [4] [5]
2	Rance Cleaveland	[5]
3	V. Natarajan	[5]