Articles
Timed Term Rewrite Systems

https://doi.org/10.1016/S1571-0661(04)80348-7Get rights and content
Under a Creative Commons license
open access

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.

Cited by (0)