Concurrency Theory

Concurrency Theory

Course with SWS 2/2/0 (lecture/exercise/practical) in SS 2023

Lecturer

• Stephan Mennicke

SWS

• 2/2/0

Modules

• CMS-LM-ADV
• CMS-LM-MOC
• INF-B-510
• INF-B-520
• INF-BAS6
• INF-PM-FOR
• INF-VERT6
• MCL-TCSL

Examination method

• Oral exam

Matrix channel

• #concur:tu-dresden.de

Lecture series

• Concurrency Theory

• Information
• Literature
• Dates and Materials

Course Description

Modern computer systems are often multi-threaded or even fully distributed over several machines and geographical locations. Instead of the well-known sequential computational models (e.g., Turing machines, λ-calculus, etc.), the key notion for describing concurrent computations is that of a process. In this course, we study several phenomena occurring in concurrent computations by means of process calculi, for which we will define and analyze their formal semantics. As one of the key aspects, we ask when two processes are considered to be equivalent. Subsequently, we give an (incomplete) list of topics we strive for throughout the course.

• From sequential to parallel processes (LTS, CCS)
• Bisimulation and Coinduction
• From sequential to concurrent processes (Petri nets)
• Mobile processes (the π-calculus)
• Expressive power of process calculi
• Data-Aware Processes

Contact

If you have questions regarding the course, feel free to ask in the matrix chat or via email to the teacher of the course.

Schedule and Location

The course is taught in two sessions per week, one on Tuesdays DS4 (13.00-14.30) and Wednesdays DS3 (11.10-12.40). We're currently planning the course sessions as on-site events. If necessary, we can retract to an Online mode, probably using BigBlueButton. Exercises are intertwined with the lecture.

• Aceto, L., Ingólfsdóttir, A., Larsen, K. G., & Srba, J. (2007). Reactive Systems. Cambridge University Press.

• Sangiorgi, D., & Walker, D. (2003). The pi-calculus: a theory of mobile processes. Cambridge University Press.

• Sangiorgi, D. (2012). Introduction to bisimulation and coinduction. Cambridge University Press.

• Milner, R. (1980). A calculus of communicating systems. : Springer Berlin Heidelberg.

• Milner, R. (1999). Communicating and mobile systems. : Cambridge University Press.

• Davide Sangiorgi (2012). Advanced topics in bisimulation and coinduction. : Cambridge University Press.

• Reisig, W. (2013). Understanding Petri Nets. : Springer Berlin Heidelberg.

• Esparza, J. Petri Nets Lecture Notes from a course given at TU Munich Link to the Script

Subscribe to events of this course (icalendar)

Lecture	Introduction to Bisimulation and Coinduction	DS4, April 4, 2023 in APB E005
Lecture	Towards Bisimulation	DS3, April 5, 2023 in APB E005
Lecture	Coinduction and the Duality with Induction	DS4, April 11, 2023 in APB E005
No session	no exercise session	DS3, April 12, 2023 in APB E005
Lecture	Algebraic Properties of Bisimilarity	DS4, April 18, 2023 in APB E005
Exercise	Introduction to LEAN	DS3, April 19, 2023 in APB E005
Lecture	Processes with Internal Activities	DS4, April 25, 2023 in APB E005
Exercise	Formalizing Bisimilarity in LEAN	DS3, April 26, 2023 in APB E005

Calendar