Avoiding Shared Clocks in Networks of Timed Automata
From MaRDI portal
Publication:5891347
DOI10.2168/LMCS-9(4:13)2013zbMath1314.68196arXiv1310.5558OpenAlexW1498415449MaRDI QIDQ5891347
Thomas Chatain, Sandie Balaguer
Publication date: 28 November 2013
Published in: Lecture Notes in Computer Science, Logical Methods in Computer Science (Search for Journal in Brave)
Full work available at URL: https://arxiv.org/abs/1310.5558
networks of timed automatabehavioral equivalence for distributed systemscontextual timed transition systemimplementation on distributed architectureshared clocks
Formal languages and automata (68Q45) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)
Uses Software