Liberating Coroutines: Combining Sequential and Parallel Execution

This thesis presents a clean implementation of flexible coroutines in Java, based on standard threads and semaphores, and presents an extension to the formal semantics for flexible cor outines.