User:Allan McInnes/Drafts/Algebra of Communicating Processes

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