Process Algebra: Equational Theories of Communicating Processes

Process Algebra: Equational Theories of Communicating Processes