[PDF] - execution states with swapping Processes, Execution, and State 3F. PDF Document