On Lamport's comparison between linear and branching time temporal logic Susanne Graf — 1984 RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications