Verifying Concurrent Processes Using Temporal Logic (1982)

by B T Hailpern
Venue:LNCS 129