1 paper
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…