| Type: | Ph.D.-level, Open University
Language: English |
|
|
Previous course: C4358
|
|
No credit points with: C4358
|
|
|
|
Prerequisite: 49270
|
|
|
|
Recommended semester: 7th - 9th semester
|
|
Scope and form: Lectures. 1 afternoon per week with problem solving or exercises.
|
|
Examination: Evaluation of report. (13-scale)
|
|
|
|
|
|
|
|
URL: http://www.it.dtu.dk/c49372
|
|
Department: Department of Information Technology
|
|
Aim: To give an introduction to the specification, design and analysis of systems of interconnected computers.
|
|
Contents: Classification of distributed systems. System architectures: unreliable networks and programs as implementations of perfect abstract processes that communicate through loss-free channels. Services and protocols. Principles of protocol design. Standardisation of protocols and services. Specification of distributed activities. Proofs of system properties. Distributed algorithms and their properties. Implementation of distributed systems. Protocol implementation Distributed operating systems. Server-based systems.
|
