11 Jul
2016
11 Jul
'16
16:14
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 ==