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