Refinements and Abstractions of Signal-Event (Timed) Languages

DOI10.1007/11867340_6MaRDI QIDQ3511223zbMATH 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_6

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Recommendations

• Timed substitutions for regular signal-event languages
• Intersection of Regular Signal-Event (Timed) Languages
• Action refinement and equivalence notions for timed event structures
• scientific article; zbMATH DE number 1795753
• Timewise refinement for communicating processes

Cited in

(2)

• Timed substitutions for regular signal-event languages
• Intersection of Regular Signal-Event (Timed) Languages

This page was built for publication: Refinements and Abstractions of Signal-Event (Timed) Languages

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