20 - Prozessalgebra und Bisimulation : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
22 - Parallele Komposition/Rekursion : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
25 - Parallele Maschinen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
23 - Geschützte Rekursion : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
21 - Prozessalgebra : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich
24- Fairness/Parallele Maschinen : Formale Grundlagen der Informatik 2 Valk, Rüdiger 2015 - Lecture2Go UHH - frei zugänglich