COMP 409 Concurrent Programming (3 credits)

Offered by: Computer Science (Faculty of Science)


Computer Science (Sci) : Characteristics and utility of concurrent programs; formal methods for specification, verification and development of concurrent programs; communications, synchronization, resource allocation and management, coherency and integrity.

Terms: Fall 2014

Instructors: Clark Verbrugge (Fall)

  • 3 hours
  • Prerequisites: COMP 251, COMP 302, and COMP 310 or ECSE 427