Fully Abstract Characterizations of Testing Preorders for Probabilistic Processes.

Shoji Yuen, Rance Cleaveland, Zeynep Dayar, Scott A. Smolka

Browse the full CONCUR paper archive.