Mar 28, 2024  
2017-2018 Graduate Catalog 
    
2017-2018 Graduate Catalog [ARCHIVED CATALOG]

Add to Portfolio (opens a new window)

CMSC 721 - Theory of Processes

[3]
Milner’s calculus of communicating systems (CCS), Hoare’s communicating sequential processes (CSP) and Kahn’s applications of fixpoint theory to communicating processes.
Prerequisite: Prerequisite: CMSC 621 , CMSC 631 , CMSC 681  or consent of instructor.



Add to Portfolio (opens a new window)