Concurrency Theory
Concurrency Theory
Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2022
Dozent
Umfang (SWS)
- 2/2/0
Module
Leistungskontrolle
- Mündliche Prüfung
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, $\lambda$-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 throughout the course.
- From sequential to parallel processes (LTS, CCS)
- Bisimulation and Coinduction
- From sequential to concurrent processes (Petri nets)
- Mobile processes (the $\pi$-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 DS3 (11.10-12.40)* and *Wednesdays DS3 (11.10-12.40)*. We're currently planning the course sessions as on-site events at room APB/E005. If necessary, we can retract to an Online mode, probably using BigBlueButton. Exercises are intertwined with the lecture.Veranstaltungskalender abonnieren (icalendar)
| Vorlesung | A Primer in Semantics of Programming Languages | DS3, 5. April 2022 in APB E005 | Datei |
| Entfällt | no lecture | DS3, 6. April 2022 in APB E005 | |
| Vorlesung | Bisimilarity | DS4, 12. April 2022 in APB E005 | Datei |
| Vorlesung | Bisimilarity and Interaction (Part 1) | DS4, 13. April 2022 in APB E010 | |
| Vorlesung | Bisimilarity and Interaction (Part 2) | DS4, 19. April 2022 in APB 3027 | |
| Vorlesung | The Calculus of Communicating Systems | DS4, 20. April 2022 in APB 3027 | Datei |
| Vorlesung | Expressive Power of CCS | DS4, 26. April 2022 in APB 3027 | |
| Vorlesung | Algebraic Properties of Bisimilarity | DS4, 27. April 2022 in APB E010 | |
| Vorlesung | Processes with Internal Steps | DS4, 3. Mai 2022 in APB 3027 | Datei |
| Vorlesung | Algebraic Properties of Weak Bisimilarity | DS4, 4. Mai 2022 in APB E010 | |
| Vorlesung | CCS, Bisimilarity Conclusions / Introduction to Petri Nets | DS4, 10. Mai 2022 in APB 3027 | Datei |
| Vorlesung | Petri Nets and CCS | DS4, 11. Mai 2022 in APB E010 | |
| Vorlesung | Petri Nets: Algorithms | DS4, 17. Mai 2022 in APB 3027 | |
| Entfällt | Dies academicus | DS4, 18. Mai 2022 in APB E010 | |
| Vorlesung | Petri Nets: Expressiveness | DS4, 24. Mai 2022 in APB 3027 | Datei |
| Vorlesung | Petri Nets: Non-Interleaving Semantics (Part 1) | DS4, 25. Mai 2022 in APB E010 | |
| Vorlesung | Petri Nets: Non-Interleaving Semantics (Part 2) | DS4, 31. Mai 2022 in APB 3027 | |
| Konsultation | Questions and Answers (Petri Nets, CCS, and LTS) | DS4, 1. Juni 2022 in APB E010 | |
| Entfällt | Pentecost Week | DS4, 7. Juni 2022 in APB 3027 | |
| Entfällt | Pentecost Week | DS4, 8. Juni 2022 in APB E010 | |
| Vorlesung | Reductions | DS4, 14. Juni 2022 in APB 3027 | |
| Vorlesung | Barbed Congruence | DS4, 15. Juni 2022 in APB E010 | |
| Vorlesung | The Pi-Calculus: Syntax and Reduction Semantics | DS4, 21. Juni 2022 in APB 3027 | Datei |
| Vorlesung | The Pi-Calculus: Examples and Reductions | DS4, 22. Juni 2022 in APB E010 | |
| Vorlesung | The Pi-Calculus: Labeled Transition Semantics | DS4, 28. Juni 2022 in APB 3027 | |
| Vorlesung | The Pi-Calculus: Properties of the LTS-Semantics | DS4, 29. Juni 2022 in APB E010 | |
| Vorlesung | The Pi-Calculus: The Harmony Lemma | DS4, 5. Juli 2022 in APB 3027 | |
| Vorlesung | The Asynchronous Pi-Calculus | DS4, 6. Juli 2022 in APB E010 | |
| Vorlesung | Relative Expressive Power | DS4, 12. Juli 2022 in APB 3027 | |
| Vorlesung | Wrap-Up | DS4, 13. Juli 2022 in APB E010 |
Kalender
