Feedback

This is the 20132014 edition of the eCalendar. For the most recent publication, click here.  

COMP 409 Concurrent Programming (3 credits)

Offered by: Computer Science (Faculty of Science)

Overview

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 2013

Instructors: Clark Verbrugge (Fall)

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