CS 524 A - Concurrent Progrmg Languages
Campus: Urbana-Champaign
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.
Special Instructions:
All class meetings will be online and synchronous. For up-to-date information about CS course restrictions, please see the following link: http://go.cs.illinois.edu/csregister
Academic Program Restrictions:
NDEG:Computer Science Onl-UIUC
Option 1
Number of Required Visit(s): 0Course Level: Graduate
Credit: 4
Term(s): Fall