Leases: an efficient fault-tolerant mechanism for distributed file cache consistency
SOSP '89 Proceedings of the twelfth ACM symposium on Operating systems principles
Understanding fault-tolerant distributed systems
Communications of the ACM
Totem: a fault-tolerant multicast group communication system
Communications of the ACM
The Transis approach to high availability cluster communication
Communications of the ACM
Fault-tolerance in air traffic control systems
ACM Transactions on Computer Systems (TOCS)
Mechanisms for detecting and handling timing errors
Communications of the ACM
Fail-awareness in timed asynchronous systems
PODC '96 Proceedings of the fifteenth annual ACM symposium on Principles of distributed computing
Real time and dependability concepts
Distributed systems (2nd Ed.)
Distributed systems (2nd Ed.)
The Timed Asynchronous Distributed System Model
IEEE Transactions on Parallel and Distributed Systems
A Highly Available Local Leader Election Service
IEEE Transactions on Software Engineering
Time, clocks, and the ordering of events in a distributed system
Communications of the ACM
PADRE: A Protocol for Asymmetric Duplex REdundancy
DCCA '99 Proceedings of the conference on Dependable Computing for Critical Applications
A Fail-Aware Membership Service
SRDS '97 Proceedings of the 16th Symposium on Reliable Distributed Systems
The Timewheel Group Communication System
IEEE Transactions on Computers
Soft state in publish/subscribe
Proceedings of the Third ACM International Conference on Distributed Event-Based Systems
| Hi-index | 0.00 |
The formal verification of a real-time system requires either a proof theoretic or model theoretic approach. Both being applicable to a model of the proposed behavior of the concurrent real-time system. This paper evaluates the use model checking and ...