CMSC 721 - Theory of Processes

Credits: [3]

Description: Milner’s calculus of communicating systems (CCS), Hoare’s communicating sequential processes (CSP) and Kahn’s applications of fixpoint theory to communicating processes.
Course ID: 053056
Prerequisite: Prerequisite: CMSC 621, CMSC 631, CMSC 681 or consent of instructor.
Components: Lecture
Grading Method: A-F, Pass/Fail, Audit