Concurrency 97/98


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
  3. Modelling Concurrency in FSP
  4. FSP Tutorial Lab Session Worksheet and Answersheet
  5. The Unified Modeling Language
  6. Programming in Java
  7. Concurrency in Java
  8. Lab Session Worksheet
  9. Mutual Exclusion
  10. Lab Session Worksheet
  11. Semaphores and Monitors
  12. Condition Synchronisation
  13. Starvation and Liveness
  14. Safety
  15. Safety Analysis Tutorial Worksheet
  16. I have set the compulsory Coursework with a deadline at noon of 16 February 1998.

     


    [ Up ]


    Wolfgang Emmerich
    Updated on: 16/10/1997