(Cambridge Tracts in Theoretical Computer Science 50) J. C. M. Baeten, T. Basten, M. A. Reniers - Process Algebra Equational Theories of Communicating Processes-CUP (2010) كتاب يحمل اسم