12 citations · 34 across the 15 of their papers we have counts for
1 paper · 1 filter
Harsh Beohar, Barbara König, Sebastian Küpper +2
We consider conditional transition systems, that model software product lines with upgrades, in a coalgebraic setting. By using Birkhoff's duality for distributive lattices, we der…