>>618
その通りです。
実際、関数型言語SMLではマルチプロセスは継続(call/cc)を使って実装されています。
簡単に言うと、SmalltalkでいうProcessor yieldはスケジューラに継続を登録してから
制御をスケジューラに戻します。
そしてスケジューラは継続を1つ取り出して、その継続を評価します。