The theory of timed I/O automata

DOI10.2200/S00310ED1V01Y201011DCT005zbMATH Open1226.68004MaRDI QIDQ3002201FDOQ3002201

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)

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

zbMATH Keywords

timed automataparallel compositionformal modeling and verificationimplementation and simulation relationstimed 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)

Cited In (25)

• Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms
• \textsc{Rambo}: a robust, reconfigurable atomic memory service for dynamic networks
• Operational semantics for timed systems. A non-standard approach to uniform modeling of timed and hybrid systems.
• Formal Modeling and Analysis of Timed Systems
• GeoQuorums: implementing atomic memory in mobile ad hoc networks
• Methodologies for specification of real-time systems using timed I/O automata
• Gradient clock synchronization
• The Theory of Timed I/O Automata
• Time-Bounded Verification
• Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms
• TYPED TIMED INPUT/OUTPUT AUTOMATA IN REAL-TIME, CYBERNETIC EXPLANATION
• Proving invariants of I/O automata with TAME
• Dynamic networks of heterogeneous timed machines
• Leader election using loneliness detection
• Title not available (Why is that?)
• A menagerie of timed automata
• Expressiveness of verifiable hierarchical clock systems
• Periodically Controlled Hybrid Systems
• Gradient clock synchronization in dynamic networks
• Formal Techniques, Modelling and Analysis of Timed and Fault-Tolerant Systems
• The abstract MAC layer
• Modeling and simulation of cardiac tissue using hybrid I/O automata
• A Formalized Theory for Verifying Stability and Convergence of Automata in PVS
• Title not available (Why is that?)
• The DHCP Failover Protocol: A Formal Perspective

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)