2016-2017 Graduate Course Catalog 
    
    Dec 12, 2024  
2016-2017 Graduate Course Catalog [ARCHIVED 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.