SS 2017: Modelling of concurrent systems (Modellierung nebenläufiger Systeme)

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

Hinweise

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

Literature

  • 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. http://www.usingcsp.com/cspbook.pdf

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. http://www.cs.unibo.it/~sangio/DOC_public/history_bis_coind.pdf
  • 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.

Tools

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

Schedule

Lectures

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

Exercises

1. Sheet 1 to be solved on 11.05.2018

2. Sheet 2 to be solved on 05.06.2018

3. Sheet 3 to be solved on 26.06.2018

4. Sheet 4 to be solved on 20.07.2018

 

 

Examination

To be updated.

Aktuelles

no news in this list.

© Universität Duisburg-Essen, Lehrstuhl Theoretische InformatikLogin