Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and ...

Reference

Barbara König, Christina Mika-Michalski, and Lutz Schröder. Explaining non-bisimilarity in a coalgebraic approach: Games and distinguishing formulas. In Proc. of CMCS '20, pages 133–154. Springer, 2020. LNCS 12094.

Suggested BibTeX entry:

@inproceedings{KMS20,
    author = {Barbara K{\"o}nig and Christina Mika-Michalski and Lutz Schr{\"o}der},
    booktitle = {Proc. of CMCS '20},
    note = {{LNCS} 12094},
    pages = {133--154},
    publisher = {Springer},
    title = {Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas},
    year = {2020}
}



This work is not available online here.
© University of Duisburg-Essen, Theoretical Computer Science group