COMP 409
3 credits
Concurrent Programming

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.

Offered by: Computer Science