Models of Concurrent Systems

Aus International Center for Computational Logic
Wechseln zu:Navigation, Suche

Models of Concurrent Systems

Lehrveranstaltung mit SWS 2/2/0 (Vorlesung/Übung/Praktikum) in SS 2022

Dozent

Umfang (SWS)

  • 2/2/0

Module

Leistungskontrolle

  • Mündliche Prüfung

Matrix-Kanal


News

  • We offer two dates one date for oral examinations this semester, Thursday July 21 and (fully booked) Tuesday August 2. You can book an appointment for an oral examination with our secretary via e-mail.
  • Upon request and polls among the participants we have moved our sessions from Tuesdays and Wednesdays DS3 to Tuesdays and Wednesdays DS4, taking effect on April 12, 2022.
  • Please refer to Dates and Material to infer the room, which is also announced via the Matrix chat channel.
  • Permanent rooms for the new time slots are going to be implemented soon.

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 DS4 (13.00-14.30) and Wednesdays DS4 (13.00-14.30). 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.

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