SS 2018: Modelling of concurrent systems

Lecturer and Tutor:
Harsh Beohar (E-Mail)

Technical Content

The following topics are expected to be covered during this course:

  • Transitions system
  • Behavioural equivalences: Trace equivalence, Failure equivalence, Bisimulation equivalence
  • Closure properties of bisimulation relations and Hennessy-Milner Logic
  • Process algebra - TCP, (CCS and CSP)
  • Probabilistic process algebra


Diese Vorlesung kann von Studierenden verschiedener Studiengänge gehört werden. Insbesondere handelt es sich dabei um:

  • Studierende im Duisburger Master-Studiengang "Angewandte Informatik (Ingenieur- und Medieninformatik)"

  • Studierende im Master-Studiengang "International Studies in Engineering" (Computer Engineering)

  • Studierende mit Nebenfach Informatik


  • J.C.M. Baeten, T. Basten, M.A. Reniers: Process Algebra: Equational Theories of Communicating Processes. Cambridge University Press, 2010.
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba: Reactive Systems: Modelling, Specification and Verification. Cambridge University Press, 2007.
  • R. Milner: Communication and Concurrency. Prentice Hall, 1989.
  • C.A.R. Hoare: Communicating sequential processes. 2004.

Electronic Literature:

  • Davide Sangiorgi: On the origins of Bisimulation, Coinduction, and Fixed Points. Technical Report 2007-24, Department of Computer Science, University of Bologna, 2007.
  • Rob van Glabbeek: The linear time-branching time spectrum I. In Int. Conf. on Concurrency Theory (CONCUR). Springer, 1990.
  • Rob van Glabbeek: The linear time-branching time spectrum II. In Int. Conf. on Concurrency Theory (CONCUR). Springer, 1993.


The following tool demo will be given in the lecture (not part of the syllabus):



  • Tuesday, 14:00–15:30, LF 035
  • Friday, 12:00-13:30, LF 035


1. Sheet 1 to be solved on 11.05.2018. Click here.

2. Sheet 2 to be solved on 05.06.2018. Click here.

3. Sheet 3 to be solved on 03.07.2018. Click here.

4. Sheet 4 to be solved on 20.07.2018. Click here.


20th and 21st August 2018.



  • Introductory slide on 13th April 2018. Click here.
  • Recap on recursion including recursive principles and expressiveness. Date: 8th June 2018. Click here.
  • Recap on BSP and TCP with silent actions together with materials on confluence. Click here.
  • For the last slides on probabilistic BSP, click here.
© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin