Synchronizing clocks in the presence of faults
Journal of the ACM (JACM)
The MAFT Architecture for Distributed Fault Tolerance
IEEE Transactions on Computers - Fault-Tolerant Computing
A computational logic handbook
A computational logic handbook
The Z notation: a reference manual
The Z notation: a reference manual
Specification case studies
A Practical Decision Procedure for Arithmetic with Function Symbols
Journal of the ACM (JACM)
Reaching Agreement in the Presence of Faults
Journal of the ACM (JACM)
Understanding Protocols for Byzantine Clock Synchronization
Understanding Protocols for Byzantine Clock Synchronization
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Formal Verification of a Fault Tolerant Clock Synchronization Algorithm
Formal Specification and Verification of a Fault-Masking and Transient-Recovery Model for Digital Flight-Control Systems
Mechanical Verification of a Schematic Byzantine Clock Synchronization Algorithm
Mechanical Verification of a Schematic Byzantine Clock Synchronization Algorithm
Targeting safety-related errors during software requirements analysis
SIGSOFT '93 Proceedings of the 1st ACM SIGSOFT symposium on Foundations of software engineering
IJCAR'06 Proceedings of the Third international joint conference on Automated Reasoning
| Hi-index | 0.00 |