Linear time, branching time and partial order in logics and models for concurrency

• Other Authors: Roever, W. P. De (Editor), Ronzerbeg, G. (Editor), Bakker, J. W. de 1939- (Jacobus Willem) (Editor)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag 1989
• Series: Lecture notes in computer science 354
• Subjects: Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
• Physical Description: viii, 713 p. fig. 23 cm.
• Bibliography: Includes bibliographical references
• ISBN: 354051080X