Fully abstract characterizations of testing preorders for probabilistic processes
| Title | Fully abstract characterizations of testing preorders for probabilistic processes |
| Publication Type | Journal Articles |
| Year of Publication | 1994 |
| Authors | Yuen S, Cleaveland R, Dayar Z, Smolka S |
| Journal | CONCUR'94: Concurrency Theory |
| Pagination | 497 - 512 |
| Date Published | 1994/// |