I agree that the terminology is a bit funny, and I have to reset my intuitions every so often, because it stops making sense to me. I have found these two posts

I agree that the terminology is a bit funny, and I have to reset my intuitions every so often, because it stops making sense to me. I have found these two posts by Bob Harper helpful in thinking about the different ideas here: https://existentialtype.wordpress.com/2014/04/09/parallelism-and-concurrency-revisited/ https://existentialtype.wordpress.com/2014/04/09/parallelism... https://existentialtype.wordpress.com/2011/03/17/parallelism-is-not-concurrency/ https://existentialtype.wordpress.com/2011/03/17/parallelism...