|Module label||Communicating and Mobile Systems|
|Credit points||6.0 KP|
|Faculty/Institute||Department of Computing Science|
|Used in course of study||
|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||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|
|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