(Metric) bisimulation games and real-valued modal logics for coalgebras
B König, C Mika-Michalski - 29th International Conference on …, 2018 - drops.dagstuhl.de
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …
[PDF][PDF] Barbara König
C Mika-Michalski - 29th International Conference on Concurrency …, 2018 - cs.emis.de
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …
[PDF][PDF] Barbara König
C Mika-Michalski - scholar.archive.org
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …
[PDF][PDF] Barbara König
C Mika-Michalski - 29th International Conference on …, 2018 - drops.dagstuhl.de
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …
[PDF][PDF] Barbara König
C Mika-Michalski - core.ac.uk
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …
[PDF][PDF] Barbara König
C Mika-Michalski - 29th International Conference on Concurrency Theory, 2018 - d-nb.info
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …
[PDF][PDF] Barbara König
C Mika-Michalski - cs.emis.de
Behavioural equivalences can be characterized via bisimulations, modal logics and spoiler-
defender games. In this paper we review these three perspectives in a coalgebraic setting …
defender games. In this paper we review these three perspectives in a coalgebraic setting …