Logics and models of concurrent systems /

• Corporate Authors: NATO Advanced Study Institute on Logics and Models of Concurrent Systems La Colle-sur-Loup, France, North Atlantic Treaty Organization. Scientific Affairs Division
• Other Authors: Apt, Krzysztof R., 1949-
• Format: Conference Proceeding Book
• Language: English
• Published: Berlin ; New York : Springer-Verlag, c1985.
• Series: NATO ASI series. Computer and systems sciences 13.
• Subjects: Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)