CS 524
Concurrent Programming Languages

Displaying course information from Spring 2013.

Section Type Times Days Location Instructor
P LEC 1400 - 1515 W F   1131 Siebel Center for Comp Sci  Gul Agha
Official Description 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. Course Information: Prerequisite: CS 422; CS 475 or CS 476.
Course Prerequisites
Course Directors