-transitions in concurrent timed automata

DOI10.1016/J.IPL.2003.09.018MaRDI QIDQ1029035zbMATH OpenOpenAlexFDO

Authors Ruggero Lanotte, Andrea Maggiolo-Schettini, Simone Tini

Publication date 9 July 2009

Published in Information Processing Letters (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1016/j.ipl.2003.09.018

zbMATH Keywords

\(\varepsilon\)-transitionsconcurrent timed automatapolynomial closurereal-time systems

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Cites work

• A theory of timed automata
• scientific article; zbMATH DE number 1670795 (Why is no real title available?)
• scientific article; zbMATH DE number 42752 (Why is no real title available?)
• scientific article; zbMATH DE number 1337733 (Why is no real title available?)
• scientific article; zbMATH DE number 1515288 (Why is no real title available?)
• scientific article; zbMATH DE number 1759410 (Why is no real title available?)
• scientific article; zbMATH DE number 1839448 (Why is no real title available?)
• On the power of bounded concurrency I

This page was built for publication: \(\varepsilon\)-transitions in concurrent timed automata

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