Source: https://www2.seas.gwu.edu/~bell/csci4223/lectures/concurrency.pdf