The Theory of Timed I/O Automata, Second Edition
From MaRDI portal
Publication:3002201
DOI10.2200/S00310ED1V01Y201011DCT005zbMath1226.68004MaRDI QIDQ3002201
Roberto Segala, Dilsun Kaynar, Nancy A. Lynch, Frits W. Vaandrager
Publication date: 20 May 2011
Published in: Synthesis Lectures on Distributed Computing Theory (Search for Journal in Brave)
timed automataparallel compositionformal modeling and verificationimplementation and simulation relationstimed computing systems
Formal languages and automata (68Q45) Specification and verification (program logics, model checking, etc.) (68Q60) Research exposition (monographs, survey articles) pertaining to computer science (68-02) Distributed algorithms (68W15)
Related Items (16)
Gradient clock synchronization ⋮ Time-Bounded Verification ⋮ Leader election using loneliness detection ⋮ Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms ⋮ GeoQuorums: implementing atomic memory in mobile ad hoc networks ⋮ A Formalized Theory for Verifying Stability and Convergence of Automata in PVS ⋮ \textsc{Rambo}: a robust, reconfigurable atomic memory service for dynamic networks ⋮ The abstract MAC layer ⋮ Dynamic networks of heterogeneous timed machines ⋮ Gradient clock synchronization in dynamic networks ⋮ Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms ⋮ A menagerie of timed automata ⋮ Modeling and simulation of cardiac tissue using hybrid I/O automata ⋮ Methodologies for Specification of Real-Time Systems Using Timed I/O Automata ⋮ The DHCP Failover Protocol: A Formal Perspective ⋮ Periodically Controlled Hybrid Systems
This page was built for publication: The Theory of Timed I/O Automata, Second Edition
