Timed Term Rewrite Systems. - Jérémie Blanc; Wendelin Serwe (WFLP, 2001)

A generic operator over discrete time intervals. - Jérémie Blanc; Rachid Echahed (PPDP, 2002)

On the Operational Semantics of Timed Rewrite Systems. - Jérémie Blanc; Rachid Echahed (TIME, 2002)