Incomplete Executions