Timed Term Rewrite Systems

DOI10.1016/S1571-0661(04)80348-7zbMath1268.68093MaRDI QIDQ2841289

Rachid Echahed, Jérémie Blanc

Publication date: 24 July 2013

Published in: Electronic Notes in Theoretical Computer Science (Search for Journal in Brave)

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Grammars and rewriting systems (68Q42)

Related Items (1)

Timed Term Rewrite Systems

Uses Software

• Esterel

Cites Work

• Temporal logic programming
• Timed default concurrent constraint programming
• Dealing with multiple granularity of time in temporal logic programming
• The Esterel synchronous programming language: Design, semantics, implementation
• Timed Term Rewrite Systems
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Timed Term Rewrite Systems