Efficient Algorithms for Verification of Equivalences for Probabilistic Processes. - Linda Christoff; Ivan Christoff (CAV, 1991)

Reasonong about Safety and Liveness Properties for Probabilistic Processes. - Linda Christoff; Ivan Christoff (FSTTCS, 1992)

Priority and Abstraction in Process Algebra. - V. Natarajan 001; Ivan Christoff; Linda Christoff; Rance Cleaveland (FSTTCS, 1994)