Comment Comment by harveytoro My two recommendations are:- Communicating Sequential Processes https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf- Crash-Only Software https://www.usenix.org/legacy/events/hotos03/tech/full_paper... parent harveytoro 6 years ago
- Communicating Sequential Processes https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf
- Crash-Only Software https://www.usenix.org/legacy/events/hotos03/tech/full_paper...