The theory of timed I/O automata

DOI10.2200/S00310ED1V01Y201011DCT005MaRDI QIDQ3002201zbMATH OpenFDO

Authors Dilsun Kaynar, Roberto Segala, Nancy Lynch, F. Vaandrager

Publication date 20 May 2011

Published in Synthesis Lectures on Distributed Computing Theory (Search for Journal in Brave)

Full work available at URL https://doi.org/10.2200/S00310ED1V01Y201011DCT005

zbMATH Keywords

formal modeling and verificationimplementation and simulation relationsparallel compositiontimed automatatimed computing systems

Mathematics Subject Classification ID

Research exposition (monographs, survey articles) pertaining to computer science (68-02) Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Distributed algorithms (68W15)

Recommendations

• The Theory of Timed I/O Automata
• Formal Modeling and Analysis of Timed Systems
• scientific article; zbMATH DE number 2102690
• scientific article; zbMATH DE number 1507209
• Timed I/O automata: a complete specification theory for real-time systems

Cited in

(29)

• Liveness in timed and untimed systems
• Proving invariants of I/O automata with TAME
• Leader election using loneliness detection
• GeoQuorums: implementing atomic memory in mobile ad hoc networks
• Modeling and simulation of cardiac tissue using hybrid I/O automata
• Gradient clock synchronization
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• scientific article; zbMATH DE number 1696510 (Why is no real title available?)
• Accuracy of message counting abstraction in fault-tolerant distributed algorithms
• Timed I/O automata: a complete specification theory for real-time systems
• Expressiveness of verifiable hierarchical clock systems
• The Theory of Timed I/O Automata
• Methodologies for specification of real-time systems using timed I/O automata
• Time-Bounded Verification
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
• The DHCP Failover Protocol: A Formal Perspective
• Periodically Controlled Hybrid Systems
• A framework for modelling dependable real-time distributed systems
• Dynamic networks of heterogeneous timed machines
• TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION
• scientific article; zbMATH DE number 1390333 (Why is no real title available?)
• Tutorial on parameterized model checking of fault-tolerant distributed algorithms
• A menagerie of timed automata
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• Formal Modeling and Analysis of Timed Systems
• Algebraic Reasoning About Timeliness
• \textsc{Rambo}: a robust, reconfigurable atomic memory service for dynamic networks
• The abstract MAC layer
• Gradient clock synchronization in dynamic networks

This page was built for publication: The theory of timed I/O automata

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