Intersection of Regular Signal-Event (Timed) Languages

DOI10.1007/11867340_5MaRDI QIDQ3511222zbMATH OpenOpenAlexFDO

Authors Béatrice Bérard, Paul Gastin, A. Petit

Publication date 8 July 2008

Published in Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/11867340_5

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Timed substitutions for regular signal-event languages
• A Kleene theorem for splitable signals
• Timed regular expressions
• Refinements and Abstractions of Signal-Event (Timed) Languages
• A theory of timed automata

Cited in

(3)

• A Kleene theorem for splitable signals
• Timed substitutions for regular signal-event languages
• Refinements and Abstractions of Signal-Event (Timed) Languages

This page was built for publication: Intersection of Regular Signal-Event (Timed) Languages

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