Return to Article Details Concurrent error detection for distributed systems: a case study Download Download PDF