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 ==