"Logics for Concurrency - Structure versus Automata, 8 conf" - читать интересную книгу автора (Faron Moller, Graham Birtwistle)