Distributed event clock automata (extended abstract)

DOI10.1007/978-3-642-22256-6_23MaRDI QIDQ5200069zbMATH OpenOpenAlexFDO

Authors James N. Ortiz, Axel Legay, 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)

Recommendations

• Distributed timed automata with independently evolving clocks
• Distributed Timed Automata with Independently Evolving Clocks
• scientific article; zbMATH DE number 1497794
• scientific article; zbMATH DE number 1400049
• Event-clock automata: a determinizable class of timed automata

Cites work

• A theory of timed automata
• An Expressive Temporal Logic for Real Time
• Axioms for real-time logics
• Distributed event clock automata (extended abstract)
• Distributed Time-Asynchronous Automata
• Distributed Timed Automata with Independently Evolving Clocks
• Event-clock automata: a determinizable class of timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• scientific article; zbMATH DE number 1337733 (Why is no real title available?)
• scientific article; zbMATH DE number 2050928 (Why is no real title available?)
• scientific article; zbMATH DE number 1497794 (Why is no real title available?)
• Memory event clocks
• Realizability of real-time logics
• Temporal logic can be more expressive
• The benefits of relaxing punctuality

Cited in

(8)

• Event-clock automata: a determinizable class of timed automata
• 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 2017355 (Why is no real title available?)
• scientific article; zbMATH DE number 1497794 (Why is no real title available?)
• Distributed event clock automata (extended abstract)
• Algebraic Methodology and Software Technology
• Distributed timed automata with independently evolving clocks

This page was built for publication: Distributed event clock automata (extended abstract)

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