Verifying concurrent processes using temporal logic
By: Brent T. Hailpern.
Series: Lecture notes in computer science ;; 129
Publisher: Springer-Verlag
Published: 1982
Place of publication: Berlin; New York
Language: eng
Number of pages: 208
Subjects: Parallel processing (Electronic computers); Computer programs -- Verification.
Notes: Bibliography: p. [203]-208.
Includes index.