Stud.IP Uni Oldenburg
University of Oldenburg
23.10.2019 16:13:04
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
Faculty/Institute Department of Computing Science
Used in course of study
  • Master's Programme Computing Science (Master) >
  • Master's Programme Embedded Systems and Microrobotics (Master) >
  • Master's Programme Engineering of Socio-Technical Systems (Master) >
Contact person
Module responsibility
Authorized examiners
Entry 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

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
Languages of instruction German, English
Duration (semesters) 1 Semester
Module frequency irregulary
Module capacity unlimited
Modullevel AS (Akzentsetzung / Accentuation)
Modulart Pflicht o. Wahlpflicht / compulsory or optioal
Lern-/Lehrform / Type of program V+Ü
Vorkenntnisse / Previous knowledge Theoretische Informatik II
Course type Comment SWS Frequency Workload attendance
Lecture 3.00 SuSe 42 h
Exercises 1.00 SuSe 14 h
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