everything.study
COMPSCI 2SD3

Concurrent Systems

Undergraduate

2025

Topics

  • Models of concurrency
  • Process algebras
  • Petri nets
  • Temporal logics and model checking
  • Concurrency as software structuring principle
  • Processes
  • Threads
  • Synchronization mechanisms
  • Resource management and sharing
  • Deadlock
  • Safety and liveness
  • Design
  • Verification and testing of concurrent systems

Readings

  • J. Magee, J. Kramer, Concurrency: State Models & Java Programming, 2nd Edition, J. Wiley 2006. The course may not always follow the text-book closely.
    2nd Edition · unspecified
  • Lecture/course notes
    See source
Sources