Barbara König 0001, Christina Mika-Michalski, Lutz Schröder. Explaining Non-bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas. In Daniela Petrisan, Jurriaan Rot, editors, Coalgebraic Methods in Computer Science - 15th IFIP WG 1.3 International Workshop, CMCS 2020, Colocated with ETAPS 2020, Dublin, Ireland, April 25-26, 2020, Proceedings. Volume 12094 of Lecture Notes in Computer Science, pages 133-154, Springer, 2020. [doi]
Abstract is missing.