Execution

Detailed Description

Modules
	Execution Categories
	Execution categories categorize forward progress behavior.
	Execution Policies
	Execution policies describe requirements for execution.