Distributed Timed Automata with Independently Evolving Clocks

DOI10.1007/978-3-540-85361-9_10MaRDI QIDQ3541012zbMATH OpenOpenAlexFDO

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

Publication date 25 November 2008

Published in CONCUR 2008 - Concurrency Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1007/978-3-540-85361-9_10

Mathematics Subject Classification ID

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

Cites work

• A partial order semantics approach to the clock explosion problem of timed automata
• A theory of timed automata
• CONCUR 2005 – Concurrency Theory
• Distributed Time-Asynchronous Automata
• Distributed Timed Automata with Independently Evolving Clocks
• Dynamical properties of timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• State-complexity of finite-state devices, state compressibility and incompressibility
• Timed Unfoldings for Networks of Timed Automata

Cited in

(10)

• On global scheduling independency in networks of timed automata
• A study on shuffle, stopwatches and independently evolving clocks
• Event clock message passing automata: a logical characterization and an emptiness checking algorithm
• Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata
• Distributed Timed Automata with Independently Evolving Clocks
• A survey of timed automata for the development of real-time systems
• scientific article; zbMATH DE number 2050928 (Why is no real title available?)
• A concurrency-preserving translation from time Petri nets to networks of timed automata
• Distributed event clock automata (extended abstract)
• Distributed timed automata with independently evolving clocks

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 Q3541012)