Точно так. Только выбор, на которую будет переключение, будет осуществляться планировщиком в зависимости от его алгоритмов. При моем имеющемся планировщике за 1 цикл Services.Action, например, будет вызвано 50 циклов первой сопрограммы (сработает Co.Yield() на 50-й раз) а затем будет вызвано 60 циклов второй сопрограммы.