inf454 - Communicating and Mobile Systems (Complete module description)
Module label | Communicating and Mobile Systems |
Modulkürzel | inf454 |
Credit points | 6.0 KP |
Workload | 180 h |
Institute directory | Department of Computing Science |
Verwendbarkeit des Moduls |
|
Zuständige Personen |
|
Prerequisites | No participant requirements |
Skills to be acquired in this module | Introduction to Milner’s Calculus of Communicating Systems (CCS) and the π-Calculus.
Methodological competence
Social competence
Self-competence
|
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.
|
Literaturempfehlungen |
|
Links | |
Languages of instruction | German, English |
Duration (semesters) | 1 Semester |
Module frequency | irregular |
Module capacity | unlimited |
Teaching/Learning method | V + Ü |
Previous knowledge | Theoretical Computer Science II |
Form of instruction | Comment | SWS | Frequency | Workload of compulsory attendance |
---|---|---|---|---|
Lecture | 3 | WiSe | 42 | |
Exercises | 1 | WiSe | 14 | |
Präsenzzeit Modul insgesamt | 56 h |
Examination | Prüfungszeiten | Type of examination |
---|---|---|
Final exam of module | At the end of the lecture period |
written exam or oral exam |