In computer science, Communicating Sequential Processes (CSP) is a formal language for describing patterns of interaction in concurrent systems.It is a member of the family of mathematical theories of concurrency known as process algebras, or process