https://rust-class.org/static/classes/class19/dijkstra.pdf
The entire paper is just one side of one page. In it he describes a basic, fundamental concurrency problem, gives a solution, and then provides a proof of the solution.
https://rust-class.org/static/classes/class19/dijkstra.pdf
The entire paper is just one side of one page. In it he describes a basic, fundamental concurrency problem, gives a solution, and then provides a proof of the solution.