SS 2017: Modellierung nebenläufiger Systeme - Folien und Übungsblätter

Folien

The slides will be provided during the lecture here in PDF format.

  • Organisation and Introduction [24.04.2017]. Click here.
  • Bisimulation algorithm [08.05.2017]. Click here.
  • Confluence [17.07.2017] and Probabilistic BSP [20-24.07.2017]. Click here.

 

 

Notizen

Übungen

  • Exercise sheet 1. (To be solved on 11.05.2017). Click here.
  • Exercise sheet 2. (To be solved on 29.05.2017). Click here.
  • Exercise sheet 3. (To be solved on 30.06.2017). Click here.
  • Exercise sheet 4. (To be solved on 14.07.2017). Click here.
  • Exercise sheet 5. (To be solved on 27.07.2017). Click here.
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin