Timed term rewrite systems

DOI10.1016/S1571-0661(04)80348-7MaRDI QIDQ2841289zbMATH OpenFDO

Authors Jérémie Blanc, Rachid Echahed

Publication date 24 July 2013

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

Full work available at URL https://doi.org/10.1016/S1571-0661(04)80348-7

Mathematics Subject Classification ID

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

Recommendations

• scientific article; zbMATH DE number 1070625
• Conditional complexity
• Timed rewriting logic with an application to object-based specification
• Conditional and typed rewriting systems. 2nd international CTRS workshop, Montreal, Canada, June 11--14, 1990. Proceedings
• Conditional rewriting logic: Deduction, models and concurrency

Cites work

• scientific article; zbMATH DE number 1696765 (Why is no real title available?)
• scientific article; zbMATH DE number 3872640 (Why is no real title available?)
• scientific article; zbMATH DE number 4081517 (Why is no real title available?)
• scientific article; zbMATH DE number 108365 (Why is no real title available?)
• scientific article; zbMATH DE number 683349 (Why is no real title available?)
• scientific article; zbMATH DE number 1142316 (Why is no real title available?)
• scientific article; zbMATH DE number 2084713 (Why is no real title available?)
• scientific article; zbMATH DE number 1536571 (Why is no real title available?)
• Dealing with multiple granularity of time in temporal logic programming
• Rewriting
• Temporal logic programming
• The Esterel synchronous programming language: Design, semantics, implementation
• Timed default concurrent constraint programming
• Timed term rewrite systems

Cited in

(1)

• Timed term rewrite systems

Describes a project that uses

Uses Software

• Esterel

This page was built for publication: Timed term rewrite systems

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2841289)