Data-Synchronized Execution Models