Logo ČVUT
CZECH TECHNICAL UNIVERSITY IN PRAGUE
STUDY PLANS
2019/2020

Distributed Systems

Login to KOS for course enrollment Display time-table
Code Completion Credits Range
XP36DSV ZK 4 2P
Lecturer:
Jan Janeček (guarantor)
Tutor:
Jan Janeček (guarantor)
Supervisor:
Department of Computer Science
Synopsis:

Communication mechanisms - message exchange, procedural communication

(RPC, ORB), distributed shared memory. Process algebras - CSP, CCS,

and pi-calculus, cooperating automata, Petri nets. Distributed execution,

global state, causality, logical time. Algorithms of: exclusive access,

leader election, deadlock detection/prevention, termination. Faults,

resiliency, qourum algorithms, replication. Mobility, search in distributed systems - DHT.

Requirements:
Syllabus of lectures:
Syllabus of tutorials:
Study Objective:
Study materials:

1. Tanenbaum, A.: Computer Networks

2. Stallings, W.: Handbook of Computer Communication Standards

Note:
Time-table for winter semester 2019/2020:
Time-table is not available yet
Time-table for summer semester 2019/2020:
Time-table is not available yet
The course is a part of the following study plans:
Data valid to 2019-10-18
For updated information see http://bilakniha.cvut.cz/en/predmet1975106.html