Logical characterization of bisimulation for transition relations over probability distributions with internal actions

M. Lee, E.P. de Vink

Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

4 Citations (Scopus)
Original languageEnglish
Title of host publication41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland
EditorsP. Faliswewski, A. Muschall, R. Niedermeier
Publication statusPublished - 2016

Publication series

NameLeibniz International Proceedings in Informatics (LIPIcs)
Volume58

Cite this