Allison recently wrote a PDD (parrot design doc) on concurrency: http://www.parrotcode.org/docs/pdd/pdd25_concurrency.html. I recall she was also looking at things like the IO language while writing this.