Tematika:

Definíciók: osztott rendszer, szoftver és hardver modellek, folyamat, folyamatinterakció, üzenetküldéses modell, osztott algoritmusok bonyolultsága, osztott renszerek leírása, bizonyítási módszerek, biztonsági tulajdonságok.
Algoritmusok: globális változó osztott környezetben, kölcsönös kizárás, vezetőkiválasztó algoritmusok, termelő-fogyasztó probléma, routing, link protokollok.
Formális leíró technikák protokollok definiálására. SDL, ESTELLE, LOTOS.
Estetanulmányok az osztott rendszerekből: RPC, NSF, DDB és NIS.
 

Ajánlott irodalom:

•  A.S. Tanenbaum: Számítógép-hálózatok.Novotrade, 1992.
•  G. Tel: Distributed Sytems. Cambridge University Press, 1994.
•  SDL, ESTELLE, LOTOS szabványok.
•  Internet RFC-k.