11 citations · 37 across the 18 of their papers we have counts for
Showing 2016 · cs.LOShow all
2 papers · 2 filters
cs.LO2016★ 4 cited
A coalgebraic treatment of conditional transition systems with upgrades
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…
cs.LO2016
Regular Behaviours with Names
Stefan Milius, Lutz Schröder, Thorsten Wißmann
Nominal sets provide a framework to study key notions of syntax and semantics such as fresh names, variable binding and -equivalence on a conveniently abstract categorical level…