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…