Algebra of Communicating Processes

Summary