 |
|
||||||||||||||||||
 |
 |
 |
 |
 |
 |
 |
 |
|
|||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
|
|
||||||||||||||||||
CSE535
| Course | CSE535 |
| Title | Asynchronous Systems |
| Description | Discusses asynchronous systems, their description using concurrent and distributed programming languages and their verification. Topics include concurrent programming using shared memory and message passing, formal semantics of communication, reliability and concurrent algorithms. |
| Prerequisite or Corequisite | CSE 306 |
| Credit Information | 3 - credits |
| Course Webpage | http://www.cs.sunysb.edu/~cse535 |
