Logics and models of concurrent systems - Apt, Krzysztof R., 1949- (NATO ASI series. Series F, Computer and systems sciences ;, 1985)