"Process Algebra (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (J. C. M. Baeten, W. P. Weijland)