"Process algebra: Equational theories of communicating processes" - читать интересную книгу автора (J. C. M. Baeten, T. Basten, M. A. Reniers)