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

Folien

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

  • Organisation and Introduction [11.04.2016]. Click here.
  • Behavioural equivalences [14.04.2016]. Black board (so no slides, however you can check the slides from the same course given in SS2014).
  • Hennesy-Milner logic and algorithm for computing bisimilarity [18.04.2016]. Mainly on black board and click here for the slides that explain the bisimulation algorithm.
  • Introduction to Equational theory [25.04.2016]. Black board (Sections 2.1 - 2.3 in the BOOK*).
  • Validity and Basic sequential processes [28.04.2016]. Black board (Section 2.3 and handpicked sections from Chapter 4 in the BOOK*).
  • Basic concepts on recursion [12.05.2016]. Black board (Sections 5.1-5.3 and term algebra)
  • Continuation on recursion [19.05.2016]. Black board (Sections 5.4, 5.5 till RSP, and 5.7). Click here for the recap slides.
  • Recursion in TCP and Confluence [20.06.2016]. Click here for the slides.
  • Probabilistic BSP [23.06.2016]. Click here for the slides.
  • Graph Transformation Systems [27.06.2016, 7.7.2016, 11.7.2016, 14.7.2016]. Slides: [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]
  • Google Go [14.7.2016]. Slides: [1x1] [2x2] [1x1 (s/w)] [2x2 (s/w)]

BOOK*= Process Algebra : Equational Theories of Communicating Processes

Notizen

Übungen

  • Exercise sheet 1. (To be solved on 21.04.2016). Click here.
  • Exercise sheet 2. (To be solved on 09.05.2016). Click here.
  • Exercise sheet 3. (To be solved on 30.05.2016). Click here.
  • Exercise sheet 4. (To be solved on 16.06.2016). Click here.
  • Exercise sheet 5. (To be solved on 30.06.2016). Click here.
  • Exercise sheet 6, in German. (To be solved on 18.07.2016). Click here.
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin