Nested Timed Automata

DOI10.1007/978-3-642-40229-6_12zbMath1390.68407OpenAlexW2137303979MaRDI QIDQ2842669

Xiaojuan Cai, Mizuhito Ogawa, Shoji Yuen, Guo Qiang Li

Publication date: 16 August 2013

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

Full work available at URL: https://doi.org/10.1007/978-3-642-40229-6_12

Mathematics Subject Classification ID

Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

Related Items (5)

Timed recursive state machines: expressiveness and complexity ⋮ Nested Timed Automata with Frozen Clocks ⋮ Analyzing pushdown systems with stack manipulation ⋮ Reachability relations of timed pushdown automata ⋮ Towards an Efficient Tree Automata based technique for Timed Systems

This page was built for publication: Nested Timed Automata