Search

• < Previous
• 1
• Next >

---

Conditional Bisimilarity for Reactive Systems

Mathias Hülsbusch ; Barbara König ; Sebastian Küpper ; Lara Stoltenow.

Reactive systems \`a la Leifer and Milner, an abstract categorical framework for rewriting, provide a suitable framework for deriving bisimulation congruences. This is done by synthesizing interactions with the environment in order to obtain a compositional semantics. We enrich the notion of&nbsp;[&hellip;]

---

A coalgebraic treatment of conditional transition systems with upgrades

Harsh Beohar ; Barbara König ; Sebastian Küpper ; Alexandra Silva ; Thorsten Wißmann.

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 derive two equivalent Kleisli categories in which these coalgebras live: Kleisli categories based on the reader and on the&nbsp;[&hellip;]

---