Intersection of Regular Signal-Event (Timed) Languages

DOI10.1007/11867340_5zbMATH Open1141.68424OpenAlexW1486828095MaRDI QIDQ3511222FDOQ3511222

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

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

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

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)