|Module label||Communicating and Mobile Systems|
|Credit points||6.0 KP|
|Institute directory||Department of Computing Science|
|Applicability of the module||
Lehrenden, Die im Modul (Authorized examiners)
Olderog, Ernst-Rüdiger (Authorized examiners)
|Skills to be acquired in this module||
Introduction to Milner’s Calculus of Communicating Systems (CCS) and the π-Calculus.
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.
|Languages of instruction||German, English|
|Duration (semesters)||1 Semester|
|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|
|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