|
Previous course: C4334 |
Offered by:
Department of Information Technology
(IT) |
No credit points with: C4334 |
Prerequisite: 49142/C4312 |
Recommended semester:
4th -7th semester |
Scope and form: Lectures. Problem solving in groups. Programming exercises. |
Examination:
Written exam
(13 point scale
) |
Contact person: |
Hans Henrik Løvengreen, IT, Building 343, Tel. +45 4525 3763 |
|
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. |