Course Websites

CS 524 - Concurrent Progrmg Languages

Last offered Spring 2023

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: 4 graduate hours. No professional credit. Prerequisite: CS 422; one of CS 475, MATH 475 or CS 476.

Related Faculty

Concurrent Progrmg LanguagesP31609LEC41530 - 1645 T R  1214 Siebel Center for Comp Sci Jose Meseguer