Logics and models of concurrent systems - Apt, Krzysztof R., 1949- (Springer-Verlag, 1985)
"Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 October 1984"--T.p. verso.