Title: Algebra of Communicating Processes