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: Ηλεκτρονικοί υπολογιστές > Κατανεμημένα συστήματα; Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)