COMP 409. Concurrent Programming.
Credits: 3
Offered by: Computer Science (Faculty of Science)
Terms offered: Winter 2026
View offerings for Winter 2026 in Visual Schedule Builder.
Description
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.
- Restriction Note G: Open only to students registered in a Core Group* or Mathematics Group* program, * as defined in the SOCS section, Undergraduate Programs Calendar
- 3 hours
- Prerequisites: COMP 251, COMP 302, and COMP 310 or ECSE 427