Game Characterizations of Timed Relations for Timed Automata Processes

Shibashis Guha, Shankara Narayanan Krishna

In this work, we design the game semantics for timed equivalences and preorders of timed processes. The timed games corresponding to the various timed relations form a hierarchy. T…