The anchored version of the temporal framework

Linear Time, Branching Time and Partial Order in Logics and Models for Concurrency - Lecture Notes in Computer Science ◽

10.1007/bfb0013024 ◽

1989 ◽

pp. 201-284 ◽

Cited By ~ 83

Author(s):

Zohar Manna ◽

Amir Pnueli

Download Full-text