"Nets, Terms and Formulas: Three Views of Concurrent Processes and their Relationship" - читать интересную книгу автора (E. -R. Olderog)