18 citations · 67 across the 31 of their papers we have counts for
3 papers · 2 filters
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…
Abstraction, Up-to Techniques and Games for Systems of Fixpoint Equations
Paolo Baldan, Barbara König, Tommaso Padoan
Systems of fixpoint equations over complete lattices, consisting of (mixed) least and greatest fixpoint equations, allow one to express a number of verification tasks such as model…
Explaining Non-Bisimilarity in a Coalgebraic Approach: Games and Distinguishing Formulas
Barbara König, Christina Mika-Michalski, Lutz Schröder
Behavioural equivalences can be characterized via bisimulation, modal logics, and spoiler-duplicator games. In this paper we work in the general setting of coalgebra and focus on g…