Similar Items: Ticking clocks as dependent right adjoints: Denotational semantics for clocked type theory
- Probabilistic Timed Automata with One Clock and Initialised Clock-Dependent Probabilities
- Transpension: The Right Adjoint to the Pi-type
- Simulations for Event-Clock Automata
- 2-adjoint equivalences in homotopy type theory
- A Denotational Semantics for SPARC TSO
- Avoiding Shared Clocks in Networks of Timed Automata