PIM-VAA P222-0072 pim3 2 P 2 S 6 3 no German Written exam KIM-VAA Computer Science and Communication Systems 3 mandatory course PIM-VAA Applied Informatics 3 optional course PIM-VAA Applied Informatics 3 optional course TIM-VAA Technical Computer Science 3 mandatory course 60 class hours (= 45 clock hours) over a 15-week period.The total student study time is 180 hours (equivalent to 6 ECTS credits).There are therefore 135 hours available for class preparation and follow-up work and exam preparation. Prof. Dr. Markus Esch mes Prof. Dr. Markus Esch mes After successfully completing this module, students will be able to name the basic properties of distributed algorithms and applications and to describe common models for describing distributed systems. They will be able to explain the challenges and requirements implied by the distribution aspect in the development of distributed algorithms. Students will be able to evaluate and implement essential aspects of distributed algorithms and applications, such as causal dependency, logical time, synchronization, etc... They will be able to transfer and apply the theoretical knowledge taught in the lecture, in order to solve actual problems. In addition, students will be able to provide simple proof for the correctness of distributed algorithms. - Broadcast and propagation with feedback - Causal dependency - Correctness properties safety and liveness - Models for logical time - Scheduling - Consistent snapshot - Deadlock, detection and avoidance - Mutual exclusion - Discussion of relevant practical contributions Lecture slides, annotated lecture slides as a script, lecture-related practical exercises, research on current topics A. S. TANNENBAUM, M. v. STEEN: Distributed Systems. Principles and Paradigms, CreateSpace Independent Publishing Platform, 2nd Edition, 2016 G. COULOURIS, J. DOLLIMORE, T. KINDBERG: Distributed Systems: Concepts and Design, 5th Edition, 2011 G. TEL: Introduction to distributed algorithms, Cambridge University Press; 2nd Edition, 2000 Sat Sep 12 07:28:47 CEST 2026, CKEY=kvaua, BKEY=pim3, CID=[?], LANGUAGE=en, DATE=12.09.2026