A small selection of papers that I find useful (also check the Wikipedia articles for a quick overview): Communicating Sequential Processes "CSP" by Tony Hoare

A small selection of papers that I find useful (also check the Wikipedia articles for a quick overview): Communicating Sequential Processes "CSP" by Tony Hoare[0] has a strong influence on Go and Clojure. He also published/contributed to other interesting and influential books and papers. Making reliable distributed systems in the presence of software errors by Joe Armstrong[1] (Erlang, BEAM). An implementation of the actor model and functional programming to optimize for reliability. Conflict-free Replicated Data Types by Marc Shapiro, Nuno Preguiça, Carlos Baquero, Marek Zawirsk, "CRDTs" [2]. Enable strong eventual consistency, which is typically useful (and implemented) for databases, p2p (chat) applications and other distributed systems. [0] https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf https://www.cs.cmu.edu/~crary/819-f09/Hoare78.pdf [1] https://www.cs.otago.ac.nz/coursework/cosc461/armstrong_thesis_2003.pdf https://www.cs.otago.ac.nz/coursework/cosc461/armstrong_thes... [2] https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf https://hal.inria.fr/hal-00932836/file/CRDTs_SSS-2011.pdf