CS 524
Fall 2005 Part of Term 1
Part of Term 1
Aug 24-Dec 9
Aug 24-Dec 9
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.
Section Status updates every 10 minutes.
| CRN | Type | Section | Time | Day | Location | Instructor | Section Details | |
|---|---|---|---|---|---|---|---|---|
|
40477
|
Lecture-Discussion
|
A
|
11:00AM
-12:15PM
|
TR
|
Siebel Center for Comp Sci
|
Agha, G
|
|