Course Websites
CS 524 - Concurrent Progrmg Languages
Last offered Spring 2025
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. Prerequisite: CS 422; one of CS 475, MATH 475 or CS 476.
Related Faculty
Schedule and Instructors
Title | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|
Concurrent Progrmg Languages | P | 31609 | LEC | 4 | 1530 - 1645 | T R | 1214 Siebel Center for Comp Sci | Jose Meseguer |