Overlapping Execution with Transfer Using Non-Strict Execution for Mobile Programs