Probabilistic I/O automata: Theories of two equivalences

TitleProbabilistic I/O automata: Theories of two equivalences
Publication TypeJournal Articles
Year of Publication2006
AuthorsStark E, Cleaveland R, Smolka S
JournalCONCUR 2006–Concurrency Theory
Pagination343 - 357
Date Published2006///