18 citations · 67 across the 31 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
A General Framework for Well-Structured Graph Transformation Systems
Barbara König, Jan Stückrath
Graph transformation systems (GTSs) can be seen as wellstructured transition systems (WSTSs), thus obtaining decidability results for certain classes of GTSs. In earlier work it wa…