Pages that link to "Item:Q3002201"
From MaRDI portal
The following pages link to The Theory of Timed I/O Automata, Second Edition (Q3002201):
Displaying 16 items.
- \textsc{Rambo}: a robust, reconfigurable atomic memory service for dynamic networks (Q660994) (← links)
- The abstract MAC layer (Q661062) (← links)
- Gradient clock synchronization in dynamic networks (Q693764) (← links)
- Leader election using loneliness detection (Q1938387) (← links)
- GeoQuorums: implementing atomic memory in mobile ad hoc networks (Q1953643) (← links)
- Modeling and simulation of cardiac tissue using hybrid I/O automata (Q2271452) (← links)
- Gradient clock synchronization (Q2375294) (← links)
- Accuracy of Message Counting Abstraction in Fault-Tolerant Distributed Algorithms (Q2961576) (← links)
- Methodologies for Specification of Real-Time Systems Using Timed I/O Automata (Q3066127) (← links)
- Time-Bounded Verification (Q3184695) (← links)
- A Formalized Theory for Verifying Stability and Convergence of Automata in PVS (Q3543661) (← links)
- The DHCP Failover Protocol: A Formal Perspective (Q3614854) (← links)
- Periodically Controlled Hybrid Systems (Q3624588) (← links)
- Dynamic networks of heterogeneous timed machines (Q4640311) (← links)
- Tutorial on Parameterized Model Checking of Fault-Tolerant Distributed Algorithms (Q5175774) (← links)
- A menagerie of timed automata (Q5176174) (← links)
