science:formal:computer:coroutine