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

M. Lee, E.P. de Vink

Onderzoeksoutput: Hoofdstuk in Boek/Rapport/CongresprocedureConferentiebijdrageAcademicpeer review

3 Citaten (Scopus)
Originele taal-2Engels
Titel41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland
RedacteurenP. Faliswewski, A. Muschall, R. Niedermeier
StatusGepubliceerd - 2016

Publicatie series

NaamLeibniz International Proceedings in Informatics (LIPIcs)
Volume58

Citeer dit

Lee, M., & de Vink, E. P. (2016). Logical characterization of bisimulation for transition relations over probability distributions with internal actions. In P. Faliswewski, A. Muschall, & R. Niedermeier (editors), 41st International Symposium on Mathematical Foundations of Computer Science (MFCS-2016), 22-26 August 2016, Krakow, Poland (Leibniz International Proceedings in Informatics (LIPIcs); Vol. 58).