Stud.IP Uni Oldenburg
University of Oldenburg
21.10.2021 13:16:59
inf454 - Communicating and Mobile Systems (Complete module description)
Original version English Download as PDF
Module label Communicating and Mobile Systems
Module code 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 Embedded Systems and Microrobotics (Master) > Akzentsetzungsmodule
  • Master's Programme Engineering of Socio-Technical Systems (Master) > Systems Engineering
Responsible persons
Lehrenden, Die im Modul (Authorized examiners)
Olderog, Ernst-Rüdiger (Authorized examiners)
Prerequisites
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

Self-competence
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.

Topics:
  • 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
Reader's advisory
  • 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.
Links
http://csd.informatik.uni-oldenburg.de/
Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency irregulary
Module capacity unlimited
Modullevel / module level AS (Akzentsetzung / Accentuation)
Modulart / typ of module Pflicht o. Wahlpflicht / compulsory or optioal
Lehr-/Lernform / Teaching/Learning method V+Ü
Vorkenntnisse / Previous knowledge Theoretische Informatik II
Course type Comment SWS Frequency Workload of compulsory attendance
Lecture
3 WiSe 42
Exercises
1 WiSe 14
Total time of attendance for the module 56 h
Examination Time of examination Type of examination
Final exam of module
At the end of the lecture period
written exam or oral exam