Time of Time
Abstract elided by the publisher.
Related papers
- Validating Timing Constraints of Dependent Jobs with Variable Execution Times in Distributed Real-Time Systems TACAS 2002
- Translating a Continuous-Time Temporal Logic into Timed Automata APLAS 2003
- Analysis of Timed Systems Based on Time-Abstracting Bisimulation CAV 1996
- Elementary Linear Logic Revisited for Polynomial Time and an Exponential Time Hierarchy APLAS 2011
- Time and Asynchrony in Interactions among Distributed Real-Time Objects ECOOP 1995
- Compile-time composition of run-time data and iteration reorderings PLDI 2003
- Real-Time Logics: Fictitious Clock as an Abstraction of Dense Time TACAS 1997
- Branching Time Regular Temporal Logic for Model Checking with Linear Time Complexity CAV 1990