Yuxin Deng, Rob J. van Glabbeek, Matthew Hennessy, Carroll Morgan, Chenyi Zhang
Characterising Testing Preorders for Finite Probabilistic Processes
LICS, 2007.
@inproceedings{LICS-2007-DengGHMZ, author = "Yuxin Deng and Rob J. van Glabbeek and Matthew Hennessy and Carroll Morgan and Chenyi Zhang", booktitle = "{Proceedings of the 22nd IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2007.15", isbn = "0-7695-2908-9", pages = "313--325", publisher = "{IEEE Computer Society}", title = "{Characterising Testing Preorders for Finite Probabilistic Processes}", year = 2007, }