Logics for concurrency structure versus automata

• Other Authors: Moller, Faron 1962- (Editor), Birtwistle, Graham (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer 1996
• Series: Lecture notes in computer science 1043
• Subjects: Ηλεκτρονικοί υπολογιστές > Κατανεμημένα συστήματα; Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
• Physical Description: xi, 266 p. fig. 24 cm.
• Bibliography: Includes bibliographical references
• ISBN: 3540609156