Testing Preorders for Probabilistic Processes.

Rance Cleaveland, Scott A. Smolka, Amy E. Zwarico

Browse the full ICALP paper archive.