Catalog Navigator

UMKC Catalog

Home
Table of Contents
Introduction
Special Notices
Academic Programs
Undergraduate Admission Policy & Procedures
Undergraduate Academic Regulations and Information
Graduate Academic Regulations and Information
Division of Student Affairs
Libraries
University College
Arts and Sciences, College of
Biological Sciences, School of
Computing and Engineering, School of
Dentistry, School of
Education, School of
Graduate Studies, School of
Law, School of
Management, Henry W. Bloch School of
Medicine, School of
Music and Dance, Conservatory of
Nursing, School of
Pharmacy, School of
Pre-Medicine/Pre-Health
Faculty
Undergraduate Courses
Graduate Courses
Appendices

Table of Contents - Concurrency Models

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

Back

HOME | TEXT ONLY | DISABILITY SERVICES | CONTACT US

© Curators of the University of Missouri. DMCA and other copyright information. University of Missouri-Kansas City | Kansas City, MO 64110 | (816) 235-1000
UMKC is an equal opportunity/affirmative action institution. Email questions or comments about this website to webmaster@umkc.edu.