18 citations · 32 across the 3 of their papers we have counts for
4 papers
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…
Towards Trace Metrics via Functor Lifting
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We investigate the possibility of deriving metric trace semantics in a coalgebraic framework. First, we generalize a technique for systematically lifting functors from the category…
Behavioral Metrics via Functor Lifting
Paolo Baldan, Filippo Bonchi, Henning Kerstan +1
We study behavioral metrics in an abstract coalgebraic setting. Given a coalgebra alpha: X -> FX in Set, where the functor F specifies the branching type, we define a framework for…
Coalgebraic Trace Semantics for Continuous Probabilistic Transition Systems
Henning Kerstan, Barbara König
Coalgebras in a Kleisli category yield a generic definition of trace semantics for various types of labelled transition systems. In this paper we apply this generic theory to gener…