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

Distributed Systems

The course is not on the list Without time-table
Code Completion Credits Range
XP36DSY ZK 4 2P
Lecturer:
Tutor:
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:
Further information:
No time-table has been prepared for this course
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/predmet11846004.html