CS 524

spring 2025
 
All Classes

Credit: 4 hours.

Theory of concurrency and concurrent programming languages. Formal models of concurrent computation such as process algebras, nets, and actors; high level concurrent programming languages and their operational semantics; methods for reasoning about correctness and complexity of concurrent programs.

Prerequisite: CS 422; one of CS 475, MATH 475 or CS 476.

Closed
Section Status Closed
Open
Section Status Open
Pending
Section Status Pending
Open (Restricted)
Section Status Open (Restricted)
Unknown
Section Status Unknown
Detail Status CRN Type Section Time Day Location Instructor