Implementing fault-tolerant services using the state machine approach: a tutorial
ACM Computing Surveys (CSUR)
The GNAT project: a GNU-Ada 9X compiler
TRI-Ada '94 Proceedings of the conference on TRI-Ada '94
Distributed fault tolerance—lessons learnt from Delta-4
Papers of the workshop on Hardware and software architectures for fault tolerance : experiences and perspectives: experiences and perspectives
Fault-tolerance in embedded real-time systems
Papers of the workshop on Hardware and software architectures for fault tolerance : experiences and perspectives: experiences and perspectives
Providing fault-tolerant services to distributed Ada 95 applications
Proceedings of the conference on TRI-Ada '96: disciplined software development with Ada
Implementing Atomic Actions in Ada 95
IEEE Transactions on Software Engineering
Programming distributed fault tolerant systems: the replicAda approach
Proceedings of the conference on TRI-Ada '97
Fault tolerance in distributed Ada 95
IRTAW '97 Proceedings of the eighth international workshop on Real-Time Ada
Concurrency in Ada (2nd ed.)
The Byzantine Generals Problem
ACM Transactions on Programming Languages and Systems (TOPLAS)
Delta Four: A Generic Architecture for Dependable Distributed Computing
Delta Four: A Generic Architecture for Dependable Distributed Computing
Consensus and Membership in Synchronous and Asynchronous Distributed Systems
Consensus and Membership in Synchronous and Asynchronous Distributed Systems
Redistribution in distributed Ada
Proceedings of the 1999 annual ACM SIGAda international conference on Ada
| Hi-index | 0.00 |