r6rs-discuss で議論されていた Implicitly Concurrent Scheme についてまとめた記事が公開されています: http://voluntocracy.blogspot.com/2009/10/implicit-concurrency.html
個人的に 2009/09/19 などで考えていたことが細かく分析されていました。特に portably-repeatable と concurrently-repeatable の違いが具体例で示されているところが参考になります。
実際にこのセマンティクスが次の標準で採用されるかまだ分かりませんが、R5RS を初めて読んだときにできるんじゃないかと思っていたことだけに期待してしまいます。
参考