Distributed Event Clock Automata

DOI10.1007/978-3-642-22256-6_23zbMath1297.68162OpenAlexW123705264MaRDI QIDQ5200069

Axel Legay, James N. Ortiz, Pierre-Yves Schobbens

Publication date: 29 July 2011

Published in: Implementation and Application of Automata (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-642-22256-6_23

Mathematics Subject Classification ID

Formal languages and automata (68Q45)

Related Items (1)

Distributed Event Clock Automata

Cites Work

• Event-clock automata: a determinizable class of timed automata
• A theory of timed automata
• Temporal logic can be more expressive
• Distributed Time-Asynchronous Automata
• Distributed Timed Automata with Independently Evolving Clocks
• Memory Event Clocks
• Realizability of Real-Time Logics
• The benefits of relaxing punctuality
• Distributed Event Clock Automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• An Expressive Temporal Logic for Real Time
• Axioms for real-time logics
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: Distributed Event Clock Automata