Nov 21, 2018

For what it's worth, the feedback I've had so far elsewhere suggests that there aren't particular inaccuracies. A somewhat contentious part is defining concurrency in terms of order independence, but the main source for that is Peter Van Roy ( section 4.3), so it's of good provenance.

Jun 24, 2018

Interesting paper. I’m missing Peter van Roy’s “Programming paradigms for dummies” in the list of references, though.