Bisimulations for non-deterministic labelled Markov processes
| Title | Bisimulations for non-deterministic labelled Markov processes |
| Publication Type | Journal Article |
| Year of Publication | 2012 |
| Authors | D'Argenio, PR, Sánchez Terraf, P, Wolovick, N |
| Journal | Mathematical Structures in Computer Science |
| Volume | 22 |
| Issue | 1 |
| Pagination | 43-68 |
| Date Published | 2/2012 |
| ISSN | 0960-1295 |
| DOI | 10.1017/S0960129511000454 |
Work Package:
WP1
