10 citations · 19 across the 4 of their papers we have counts for
1 paper · 1 filter
Roy Overbeek, Jörg Endrullis
We introduce a termination method for the algebraic graph transformation framework PBPO+, in which we weigh objects by summing a class of weighted morphisms targeting them. The met…