Concurrency has been rapidly gaining importance in general-purpose computing, causedby the recent turn towards multicore processing architectures. As a result, an increasingnumber of developers have to learn to write concurrent programs, a task that is known to behard even for the expert. Language designers are therefore working on languages that promiseto make concurrent progra...
