Logics for concurrency : structure versus automata - Moller, Faron, 1962-; Birtwistle, G. M. (Graham M.) (Lecture notes in computer science, 1996)