CS563 Assignment 4: Programming with Go
CS563 Assignment 4: Programming with Go Instructor: Xinghui Zhao Due: 11:59pm, February 16, 2020 1 Overview Communicating sequential processes (CSP) is a formal language for describing patterns of interac- tion in concurrent systems. It is a member of the family of mathematical theories of concurrency known as process algebras, or process calculi, based on message …