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

• Άλλοι συγγραφείς: Roever, W. P. De (Επιμελητής έκδοσης), Ronzerbeg, G. (Επιμελητής έκδοσης), Bakker, J. W. de 1939- (Jacobus Willem) (Επιμελητής έκδοσης)
• Μορφή: Βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin Springer-Verlag 1989
• Σειρά: Lecture notes in computer science 354
• Θέματα: Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)
• Φυσική περιγραφή: viii, 713 p. fig. 23 cm.
• Βιβλιογραφία: Includes bibliographical references
• ISBN: 354051080X