16 citations · 46 across the 17 of their papers we have counts for
Showing 2014Show all
2 papers · 1 filter
cs.LO2014
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…
cs.LO2014★ 1 cited
Reduction of Event Structures under History Preserving Bisimulation
Abel Armas-Cervantes, Paolo Baldan, Luciano Garcia-Bañuelos
Event structures represent concurrent processes in terms of events and dependencies between events modelling behavioural relations like causality and conflict. Since the introducti…