Compositional Testing Preorders for Probabilistic Processes

Compositional Testing Preorders for Probabilistic Processes Bengt Jonsson Wang Yi 0001 431-441 conf/lics/LICS10 1995 conf/lics/1995 LICS db/conf/lics/lics95.html http://doi.ieeecomputersociety.org/10.1109/LICS.1995.523277