Bisimulation for probabilistic transition systems: a coalgebric approach

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

Research output: Contribution to Journal › Article › Academic › peer-review

Original language	English
Pages (from-to)	271-293
Journal	Theoretical Computer Science
Volume	221
DOIs	https://doi.org/10.1016/S0304-3975(99)00035-3
Publication status	Published - 1999

Access to Document

@article{cb958d9567be42bd9b175f221a912859,

title = "Bisimulation for probabilistic transition systems: a coalgebric approach",

author = "{de Vink}, E.P. and J.J.M.M. Rutten",

year = "1999",

doi = "10.1016/S0304-3975(99)00035-3",

language = "English",

volume = "221",

pages = "271--293",

journal = "Theoretical Computer Science",

issn = "0304-3975",

publisher = "Elsevier",

}