"Concurrency Theory: Calculi and Automata for Modelling Untimed and Timed Concurrent Systems" - читать интересную книгу автора (Howard Bowman, Rodolfo Gomez)