Stud.IP Uni Oldenburg
University of Oldenburg
28.06.2022 14:11:40
inf454 - Communicating and Mobile Systems (Course overview)
Department of Computing Science 6 KP
Module components Semester courses Sommersemester 2016 Examination
Lecture
Exercises
Notes for the module
Time of examination
At the end of the lecture period
Module examination
written exam or oral exam
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