Compositional Testing Preorders for Probabilistic Processes

Bengt Jonsson, Wang Yi

Browse the full LICS paper archive.