@article {12837, title = {Probabilistic I/O automata: Theories of two equivalences}, journal = {CONCUR 2006{\textendash}Concurrency Theory}, year = {2006}, month = {2006///}, pages = {343 - 357}, author = {Stark,E. and Cleaveland, Rance and Smolka,S.} }