Process Algebra: Equational Theories of Communicating Processes