Return to Article Details Formal model of error escalation and recovery in multilayer asynchronous architectures with an event loop Download Download PDF