Stud.IP Uni Oldenburg
University of Oldenburg
11.12.2023 11:05:10
inf454 - Communicating and Mobile Systems (Complete module description)
Original version English PDF download
Module label Communicating and Mobile Systems
Module abbreviation inf454
Credit points 6.0 KP
Workload 180 h
Institute directory Department of Computing Science
Applicability of the module
  • Master's Programme Computing Science (Master) > Theoretische Informatik
  • Master's Programme Engineering of Socio-Technical Systems (Master) > Systems Engineering
Responsible persons
  • Olderog, Ernst-Rüdiger (module responsibility)
  • Lehrenden, Die im Modul (Prüfungsberechtigt)
No participant requirements
Skills to be acquired in this module
Introduction to Milner’s Calculus of Communicating Systems (CCS) and the π-Calculus.
Professional competence
The students:
  • know the theory of the operational semantics of CCS and the π-calculus - Perform equivalence proofs using simulations and bisimulations
  • specify communicating and mobile systems with CCS and the π-calculus
Methodological competence
The students:
  • learn about different views on mobility
  • recognize equivalences as formal means for system correctness
Social competence
The students:
  • work together in small groups to solve problems
  • present their solutions to groups of other students
  • The students:
  • learn persistence in pursuing difficult tasks
  • learn precision in specifying problems
Module contents
Communication is one of the basic concepts of computer science. It occurs between computers in a network as well as between components of a computer. The focus of the course is on Robin Milner's π-calculus. It enables a new modelling of communication, taking the location of the communication into account. The π-calculus can describe the change of data in a computer as well as the sending of messages or even programs along networks like the internet. It is also possible to describe reconfigurable networks. This will be shown using the examples of mobile phones, schedulers, automatic vending machines, data structures, communication protocols, and objects in object-oriented programming. All these applications are backed by the theory of the π-calculus, which is based on operational semantics and a concept of behavioural equivalence. The theory will be explained in a step-by-step manner.
  • different views on mobility
  • transition systems with simulations and bisimulations
  • Milner's Calculus of Communicating Systems (CCS) and Milner's π-calculus for mobile systems, both with operational semantics, structural congruence, strong equivalence and observational equivalence, relationship between reactions and transitions, solvability of recursive equations
  • formal specification of examples of communicating and mobile systems using CCS and the π-calculus
  • proof of strong equivalence and observational equivalence of given processes
  • specification of dynamic data structures in the π-calculus
Recommended reading
  • Robin Milner. Communicating and Mobile Systems: The pi-calculus. Cambridge University Press, 1999.
  • Robin Milner. Communication and Concurrency. Prentice Hall, 1989.
  • D. Sangiorgi and D. Walker. The pi-calculus: A Theory of Mobile Systems. Cambridge University Press, 2001.
Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency irregular
Module capacity unlimited
Module level
Type of module
Teaching/Learning method 1VL + 1Ü
Previous knowledge Theoretische Informatik II
Type of course Comment SWS Frequency Workload of compulsory attendance
Lecture 3 WiSe 42
Exercises 1 WiSe 14
Total module attendance time 56 h
Examination Examination times Type of examination
Final exam of module
At the end of the lecture period
written exam or oral exam