CS 524
Spring 2024 All Classes
Credit: 4 hours.
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.
4 graduate hours. No professional credit. Prerequisite: CS 422; one of CS 475, MATH 475 or CS 476.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
31609
|
Lecture
|
P
|
3:30PM
-4:45PM
|
TR
|
1214 Siebel Center for Comp Sci
|
Meseguer, J
|
|