Balanced timed regular expressions

MaRDI QIDQ2842862zbMATH OpenFDO

Authors Eugene Asarin, Cătălin Dima

Publication date 16 August 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066104805188

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 2040946
• Timed regular expressions
• On equivalences for a class of timed regular expressions
• scientific article; zbMATH DE number 1870546
• scientific article; zbMATH DE number 1390065

Cites work

• A theory of timed automata
• Approximation and complexity: Liouvillean-type theorems for linear differential equations on an interval
• scientific article; zbMATH DE number 1670792 (Why is no real title available?)
• scientific article; zbMATH DE number 1086501 (Why is no real title available?)
• scientific article; zbMATH DE number 1500641 (Why is no real title available?)
• scientific article; zbMATH DE number 1863168 (Why is no real title available?)
• scientific article; zbMATH DE number 1916671 (Why is no real title available?)
• scientific article; zbMATH DE number 805390 (Why is no real title available?)
• scientific article; zbMATH DE number 1405646 (Why is no real title available?)
• scientific article; zbMATH DE number 3366846 (Why is no real title available?)
• Timed regular expressions

Cited in

(9)

• On equivalences for a class of timed regular expressions
• Automated synthesis of enforcing mechanisms for security properties in a timed setting
• Timed regular expressions
• scientific article; zbMATH DE number 2040946 (Why is no real title available?)
• scientific article; zbMATH DE number 1500641 (Why is no real title available?)
• A Survey on Analog Models of Computation
• A Kleene-Schützenberger Theorem for Weighted Timed Automata
• A Kleene-Schützenberger theorem for weighted timed automata
• Balanced-by-construction regular and -regular languages

This page was built for publication: Balanced timed regular expressions

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