Propositional Temporal Logics and Equivalences.

Ursula Goltz, Ruurd Kuiper, Wojciech Penczek

Browse the full CONCUR paper archive.