[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.