18 citations · 32 across the 3 of their papers we have counts for
1 paper · 1 filter
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 α:X→HX for a fun…