Distributed Timed Automata with Independently Evolving Clocks

DOI10.3233/FI-2014-996zbMath1298.68189OpenAlexW1721793416MaRDI QIDQ5416741

K. Narayan Kumar, Paul Gastin, S. Akshay, Madhavan Mukund, Benedikt Bollig

Publication date: 14 May 2014

Published in: Fundamenta Informaticae (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3233/fi-2014-996

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

Unnamed Item, The Complexity of Flat Freeze LTL