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 ==
Dear Concurrency-Enthusiasts!
This is to let you know that the next D-CON meeting will take place in
Paderborn,
March, 9th and 10th, 2017,
and you are all invited to attend.
The days are Thursday and Friday, and the plan is to start Thursday
around 9.00.
I am taking suggestions for presentations, discussions, tutorials, ...
from now on, but will of course ask again end of the year. For now, save
the date.
Best wishes
Heike Wehrheim
