Logics and models of concurrent systems - Apt, Krzysztof R., 1949- (Springer, 1985)
Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems, held at La Colle-sur-Loup, France, 1984.
Published in cooperation with NATO Scientific Affairs Division.