@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.}
}
