Summary

• Local completeness lets one compare sites.

• Alternatives are the decision points in execution.

• We compute subsumption over alternatives.

• Subsumption enables efficient and robust execution.

Previous slide

Next slide

Back to first slide

View graphic version