"Process Algebra: Equational Theories of Communicating Processes (Cambridge Tracts in Theoretical Computer Science, Volume 50)" - читать интересную книгу автора (J. C. M. Baeten, T. Basten, M. A. Reniers)