[D-CON] 'Reactive Systems"

Liebe D-CONners, wer von Euch benutzt das Buch “Reactive Systems” von Aceto et al. in der Lehre? (Intensiv oder auch nur am Rande.) Der Hintergrund ist unser Ziel, e-Lerneinheiten für einige ausgewählte Kapitel zu entwickeln und die auch andernorts testen zu können. Interessant für uns sind dabei Bisimulation/Bisimilarität und Fixpunkttheorie à la Knaster/Tarski. Beste Grüße, == Uwe ==