On Expressive Powers of Timed Logics: Comparing Boundedness, Non-punctuality, and Deterministic Freezing.

Paritosh K. Pandya, Simoni S. Shah

Browse the full CONCUR paper archive.