Distributed timed automata with independently evolving clocks

DOI10.3233/FI-2014-996MaRDI QIDQ5416741zbMATH OpenOpenAlexFDO

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

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)

Recommendations

• Distributed Timed Automata with Independently Evolving Clocks
• Distributed event clock automata (extended abstract)
• scientific article; zbMATH DE number 1497794
• A theory of timed automata

Cited in

(7)

• A study on shuffle, stopwatches and independently evolving clocks
• Event clock message passing automata: a logical characterization and an emptiness checking algorithm
• Distributed Timed Automata with Independently Evolving Clocks
• scientific article; zbMATH DE number 2050928 (Why is no real title available?)
• The complexity of flat freeze LTL
• The complexity of flat freeze LTL
• Distributed event clock automata (extended abstract)

This page was built for publication: Distributed timed automata with independently evolving clocks

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