Theanchored version of the temporal framework (1989)

by Z Manna, A Pnueli
Venue:Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency, Lecture Notes in Computer Science 354