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: This course is not scheduled for the 2015-2016 academic year.
Instructors: There are no professors associated with this course for the 2015-2016 academic year.