Modelling of Concurrent Systems (SS 2018)

Past lecture

This page is about a lecture from past years. Up-to-date lecture material and dates can be found here.

Lecturer and Tutor:
Dr. Harsh Beohar

Technical content

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

  • Transition system
  • Behavioral equivalences: trace equivalence, failure equivalence, bisimulation equivalence
  • Hennessy-Milner Logic
  • Process algebra - TCP, (CCS and CSP)
  • Formal specification of hybrid system

See also the website from SS 2017 (with the slides from year 2017).

Who is this course for?

  • Master of Applied Computer Science (MAI): Computer Science for the field of application - Distributed, Reliable Systems

Literature

  • JCM Baeten, T. Basten, MA Reniers: Process Algebra : Equational Theories of Communicating Processes . Cambridge University Press, 2010.
  • Luca Aceto, Anna Ingolfsdottir, Kim G. Larsen, Jiri Srba : Reactive Systems: Modeling, Specification and Verification . Cambridge University Press, 2007.
  • R. Milner : Communication and Concurrency . Prentice Hall, 1989.
  • CAR Hoare : Communicating sequential processes . 2004. http://www.usingcsp.com/cspbook.pdf
  • 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_to_coind.pdf
  • Winskel G. (1989) An introduction to event structures. In: de Bakker J.W., de Roever W.P., Rozenberg G. (eds) Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency. REX 1988. Lecture Notes in Computer Science, vol 354. Springer, Berlin, Heidelberg
  • Winskel G. (1986) Event structures. Invited lectures for the Advanced Course on Petri Nets, Sept. 1986. Appears as a report of the Computer Laboratory, University of Cambridge, 1986. https://www.cl.cam.ac.uk/~gw104/EvStr.pdf

Tools

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

Schedule

Lecture

  • Tuesday, 14-16, LF 035
  • Friday, 12-14, LF 035

Exercises

  1. Sheet 1 to be solved on 11.05.2018. Click here.
  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

20th and 21st August 2018.

Downloads

Slides

  • Introductory slides. Date: 9th April 2019.
  • Slides on transition systems. Date: 12th April 2019.