18 citations · 32 across the 3 of their papers we have counts for
1 paper · 2 filters
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…