Concurrency Theory
Concurrency Theory
Course with SWS 2/2/0 (lecture/exercise/practical) in SS 2023
Lecturer
SWS
- 2/2/0
Modules
Examination method
- Oral exam
Matrix channel
Lecture series
News
- Oral exams are offered on July 19, 2023 and August 7, 2023. Please contact Kati Domann to arrange an appointment.
- Our first lecture on April 4, 2023 at 1pm takes place in room APB 3027 (3rd floor of APB).
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.
Acknowledgments
The first part of the lecture is based on the exposition Introduction to Bisimulation and Coinduction by Davide Sangiorgi. The slides Davide provides were an inspiration for the lecture material. The slides titled Part II have been used in the lectures on coinduction.- 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 | DS4, April 4, 2023 in APB 3027 | File |
| Lecture | Towards Bisimulation | DS3, April 5, 2023 in APB E005 | File |
| Exercise | Bisimulation and Bisimilarity | DS4, April 11, 2023 in APB E005 | |
| No session | no session | DS3, April 12, 2023 in APB E005 | |
| Lecture | Coinduction: Examples, Duality to Induction, and Proof Techniques | DS4, April 18, 2023 in APB E005 | |
| Exercise | Introduction to LEAN: Proofs and Propositions | DS3, April 19, 2023 in APB E005 | File |
| Lecture | Coinduction: Fixed-Points | DS4, April 25, 2023 in APB E005 | |
| Consultation | LEAN: Tactics, Inductive Types, and Structures | DS3, April 26, 2023 in APB E005 | File |
| No session | no session | DS4, May 2, 2023 in APB E005 | |
| No session | no session | DS3, May 3, 2023 in APB E005 | |
| Lecture | Coinduction: Bisimilarity and Games / Algebraic Properties of Bisimilarity | DS4, May 9, 2023 in APB E005 | |
| No session | dies academicus | DS3, May 10, 2023 in APB E005 | |
| Lecture | Algebraic Properties of Bisimilarity (1/2) | DS4, May 16, 2023 in APB E005 | File |
| Lecture | Algebraic Properties of Bisimilarity (2/2) | DS3, May 17, 2023 in APB E005 | |
| Lecture | Compositionality Bisimilarity | DS4, May 23, 2023 in APB E005 | |
| Lecture | Expressive Power of CCS | DS4, May 24, 2023 in APB E005 | |
| No session | No Lecture: Pentecost | DS4, May 30, 2023 in APB E005 | |
| No session | No Exercise: Pentecost | DS3, May 31, 2023 in APB E005 | |
| Lecture | CCS and Internal Activities | DS4, June 6, 2023 in APB E005 | File |
| Lecture | Other Approaches to Behavioral Equivalence | DS4, June 7, 2023 in APB E005 | File |
| Lecture | An Introduction to Petri Nets | DS3, June 13, 2023 in APB E005 | File |
| Exercise | Modeling with Petri Nets | DS4, June 14, 2023 in APB E005 | |
| Lecture | Petri Nets: The Boundedness Problem | DS3, June 20, 2023 in APB E005 | |
| Lecture | Basic Observables | DS3, June 27, 2023 in APB E005 | |
| Lecture | The pi-Calculus | DS3, July 4, 2023 in APB E005 | File |
| Lecture | The Asynchronous pi-Calculus | DS3, July 11, 2023 in APB E005 |
Calendar
