18 citations · 67 across the 31 of their papers we have counts for
Showing 2017 · cs.LOShow all
2 papers · 2 filters
cs.LO2017★ 14 cited
Coalgebraic Behavioral Metrics
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Given a coalgebra for a fun…
cs.LO2017★ 2 cited
(Metric) Bisimulation Games and Real-Valued Modal Logics for Coalgebras
Barbara König, Christina Mika-Michalski
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,…