Testing Equivalences for Probabilistic Processes (1990)

by I Christoff