View schedules for
|
|
|
 |
CS 524
Concurrent Prog Lang and Sys
Credit: 4 hours.
(C S 424) Introduction to the theory of concurrency and concurrent programming languages. Topics include formal models of concurrent computation such as process algebras, nets and actors; high level concurrent programming languages and their operational semantics; and methods for reasoning about correctness and complexity of concurrent programs. Prerequisite: CS 422; CS 475 or CS 476.
Section Information
| CRN | Type | Section | Time | Days | Location | Instructor |
| 40477 | lecture- discussion | A | 11:00 AM - 12:15 PM | TR | room 1103
Siebel Center for Comp Sci | Agha, G |
| |
