Verifying concurrent progresses using temporal logic - Hailpern Brent T. (Berlin : Springer Verlag, 1982)
Keywords: Computer science; Programming languages(Computer science).; Temporal logic