Timed automata with urgent transitions

DOI10.1007/s00236-003-0135-6zbMath1072.68053OpenAlexW2079756673WikidataQ124343758 ScholiaQ124343758MaRDI QIDQ1889766

Roberto Barbuti, Luca Tesei

Publication date: 9 December 2004

Published in: Acta Informatica (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00236-003-0135-6

zbMATH Keywords

multicast protocol for mobile computing

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (4)

A survey of timed automata for the development of real-time systems ⋮ Controller synthesis for dynamic hierarchical real-time plants using timed automata ⋮ Model-checking timed automata with deadlines with Uppaal ⋮ A Compositional Translation of Timed Automata with Deadlines to Uppaal Timed Automata

This page was built for publication: Timed automata with urgent transitions