@inproceedings{ZP10, author = {C. Zhang and J. Pang}, title = {On probabilistic alternating simulations}, booktitle = {Proc.\ 6th IFIP Conference on Theoretical Computer Science}, publisher = {IFIP International Federation for Information Processing}, series = {IFIP AICT}, year = {2010}, volume = {323}, pages = {71--85}, url = {http://satoss.uni.lu/members/jun/papers/TCS10.pdf} }