|
5591 Concurrency Models (3) 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.
|
UMKC is an equal opportunity/affirmative action institution; Part of the University of Missouri System; Reporting Possible Copyright Infringement.
