A Temporal Logic for reasoning about Timed Concurrent Constraint Programs.

Frank S. de Boer, Maurizio Gabbrielli, Maria Chiara Meo

Browse the full TIME paper archive.