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.