Tony Hoare documented almost every form of concurrency primitive that we have in modern software. Pretty much everything prior to Rust's ownership semantics was

Tony Hoare documented almost every form of concurrency primitive that we have in modern software. Pretty much everything prior to Rust's ownership semantics was written down in some form or under another name by Tony in the early 1970's.