"Logic for Concurrency and Synchronisation (Trends in Logic, 18)" - читать интересную книгу автора (R.J. De Queiroz)