Loading...
|
COMP-SCI 5591
Concurrency Models
|
|
|
Concurrency control constructs, P/V primitives, cobegin/coend, monitors, message transmission, rendezvous systems, underlying mathematics of concurrent systems, Petri Nets, liveness (deadlock), reachability, boundedness, invariants, system modeling. Prerequisite: CS 431 and 493.
|
Faculty:
School of Computing & Engineer
|
Department:
Comp Sci & Elect Engr
|
|
Print