Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes

@inproceedings{Yuen1994FullyAC,
  title={Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes},
  author={Shoji Yuen and Rance Cleaveland and Zeynep Dayar and Scott A. Smolka},
  booktitle={CONCUR},
  year={1994}
}