Concurrency 1999/2000

This page contains the lecture notes, tutorial work sheets and answer sheets that I am using in the first term for Concurrency (C340).

    1. Introduction
    2. Modelling Processes in FSP
    3. Modelling Concurrency in FSP
    4. FSP Tutorial Session 1 & 2 (Worksheet and Answersheet)
    5. The Unified Modeling Language
    6. Concurrency in Java
    7. Mutual Exclusion
    8. Semaphores and Monitors
    9. Condition Synchronization
    10. Starvation and Deadlocks
    11. Safety
    12. Liveness & Progress
    13. Model-based Design
    14. Dynamic Systems
    15. Message-Passing
    16. Concurrent Architectures: Filter Pipelines
    17. Concurrent Architectures: Supervisor-Worker
    18. Concurrent Architectures: Announcer-Listener
    19. Database Concurrency Control
    20. Transactions
    21. Distributed Transactions: Two-Phase Commit
    22. Previous Exam Questions and Answers
This course also has three  following coursework:
    1. Coursework 1 (due Fri, 12th November, 1999, 12.00)
    2. Coursework 2 (due Fri, 3nd December, 1999, 12.00)
    3. Coursework 3 (due Mon, 10th January, 2000, 12.00)

[ Up ]

Wolfgang Emmerich
Updated on: 18/04/2000