CS 524
Concurrent Prog Lang and Sys

Credit: 4 hours.


(C S 424) Introduction to the theory of concurrency and concurrent programming languages. Topics include formal models of concurrent computation such as process algebras, nets and actors; high level concurrent programming languages and their operational semantics; and methods for reasoning about correctness and complexity of concurrent programs. Prerequisite: CS 422; CS 475 or 476.