Logics and models of concurrent systems : Proceedings of the NATO Advanced Study Institute on Logics and Models of Concurrent Systems held at La Colle-sur-Loup, France, 8-19 Octover 1984 - Apt, Krzysztof R. (Herausgeber); Advanced Study Institute on Logics; Models of Concurrent Systems (1984 : La Colle-sur-Loup) (Verfasser) (NATO ASI series. Series F, Computer and systems sciences, 1985)