Timed Term Rewrite Systems

Abstract

We propose a new class of rewrite systems that are conservative extensions of first-order conditional term rewrite systems together with time features such as clocks, signals, timed terms, timed atoms and timed rules. We define first timed term rewrite systems by their syntax and illustrate them through some examples. We provide then a semantics based on labelled transition systems. Finally, we show how our framework compares to related work.