3 papers
cs.LO2021
Predicate and relation liftings for coalgebras with side effects: an application in coalgebraic modal logic
H. Beohar, B. König, S. Küpper +1
We study coalgebraic modal logic to characterise behavioural equivalence in the presence of side effects, i.e., when coalgebras live in a (co)Kleisli or an Eilenberg-Moore category…
cs.LO2020
Conditional Bisimilarity for Reactive Systems
Mathias Hülsbusch, Barbara König, Sebastian Küpper +1
Reactive systems à la Leifer and Milner, an abstract categorical framework for rewriting, provide a suitable framework for deriving bisimulation congruences. This is done by synthe…
cs.LO2016
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…