This article has now transitioned from draft status, and has been moved to the main namespace as Algebra of Communicating Processes.