Bisimulation for probabilistic transition systems: a coalgebric approach

E.P. de Vink, J.J.M.M. Rutten

Research output: Contribution to JournalArticleAcademicpeer-review

Original languageEnglish
Pages (from-to)271-293
JournalTheoretical Computer Science
Volume221
DOIs
Publication statusPublished - 1999

Cite this