Branching Time Temporal Logic (1989)

by E A Emerson, J Srinivasan
Venue:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency