## The name bisimilarity pseudometric is motivated by the fact that states which are mapped to the same element in the final coalgebra are at distance 0

- AND B. KÖNIG

- Published 2017 in ArXiv

We study different behavioral metrics, such as those arising from both branching and linear-time semantics, in a coalgebraic setting. Given a coalgebra $\alpha\colon X \to HX$ for a functor $H \colon \mathrm{Set}\to \mathrm{Set}$, we define a framework for deriving pseudometrics on $X$ which measure the behavioral distance of states. A crucial step is the… CONTINUE READING

### Presentations referencing similar topics