Title: Verifying Concurrent Processes Using Temporal Logic
Subjects: Computer programming, Computer science