A process-algebraic language for probabilistic I/O automata
| Title | A process-algebraic language for probabilistic I/O automata |
| Publication Type | Journal Articles |
| Year of Publication | 2003 |
| Authors | Stark EW, Cleaveland R, Smolka SA |
| Journal | CONCUR 2003-Concurrency Theory |
| Pagination | 193 - 207 |
| Date Published | 2003/// |