| Type: | Open University
Language: English |
|
|
Previous course: C4334
|
|
No credit points with: C4334
|
|
|
|
Prerequisite: 49142
|
|
|
|
Recommended semester: 4th -7th semester
|
|
Scope and form: Lectures. Problem solving in groups. Programming exercises.
|
|
Examination: Written exam (13-scale)
|
|
|
|
|
|
|
|
URL: http://www.it.dtu.dk/c49270
|
|
Department: Department of Information Technology
|
|
Aim: To give participants a conceptual and theoretical basis for application of concurrency and to enable them to construct smaller concurrent programs.
|
|
Contents: Why concurrency? Concepts: Process, synchronisation, communication, atomic actions, safety and liveness properties. Techniques for synchronisation/communication, including the semaphore, the monitor, synchronous and asynchronous message transmission and call meachnisms. Formalisms for specification/modelling of concurrent systems. Proof principles. Solution of classical problems. Resource allocation. Design principles for concurrent programs.
|
