Verifying concurrent processes using temporal logic

• Main Author: Hailpern, Brent T. 1955- ((Brent Tzion)) (Author)
• Format: Book
• Language: English
• Published: Berlin Springer-Verlag 1982
• Series: Lecture notes in computer science 129
• Subjects: Παράλληλη επεξεργασία (Ηλεκτρονικοί υπολογιστές)