2020-2021 Undergraduate Course Catalog 
    Jan 22, 2021  
2020-2021 Undergraduate Course Catalog

CIS 581 - Concurrent Programming

College of Engineering and Computer Science
3 credit(s) Irregularly
Processes, events, alphabets, and trace sets. Process equivalence. Divergence, dead-lock, fairness, and termination. Message channels, buffers, pipelines, trees, rings, grids, recursive nets. Mutual exclusion, semaphores, conditional critical regions, monitors, remote procedures. Programming exercises in Joyce.