Distributed Timed Automata with Independently Evolving Clocks

DOI10.1007/978-3-540-85361-9_10zbMath1160.68450OpenAlexW1886894358MaRDI QIDQ3541012

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

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)

Related Items

Towards a formal semantics for UML/MARTE state machines based on hierarchical timed automata, A survey of timed automata for the development of real-time systems, A study on shuffle, stopwatches and independently evolving clocks, A concurrency-preserving translation from time Petri nets to networks of timed automata, Distributed Timed Automata with Independently Evolving Clocks, Distributed Event Clock Automata

Cites Work

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