CS 524
CS 524 - Concurrent Progrmg Languages
Fall 2020
Title | Rubric | Section | CRN | Type | Hours | Times | Days | Location | Instructor |
---|---|---|---|---|---|---|---|---|---|
Concurrent Progrmg Languages | CS524 | A | 40477 | ONL | 4 | 1530 - 1645 | T R | Jose Meseguer |
See full schedule from Course Explorer
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.